|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object javasciff.SciffBridge
public class SciffBridge
Classe per l'interfacciamento con SCIFF. Consente di compilare sciff ed eseguire un progetto invocando gli opportuni comandi prolog. L'esecuzione dei comandi prolog viene effettuata tramite jpl.
Constructor Summary | |
---|---|
SciffBridge()
|
|
SciffBridge(java.lang.String relPath)
Crea un nuovo oggetto SciffBridge cercando di compilare SCIFF a partire dal percorso relativo specificato. |
Method Summary | |
---|---|
boolean |
runProject(Project project)
Esegue un progetto SCIFF e ritorna l'esito. |
boolean |
runProject(java.lang.String projectName)
Esegue il progetto SCIFF - il cui nome è pasato come parametro - e ritorna l'esito. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public SciffBridge(java.lang.String relPath)
relPath
- percorso relativo della cartella contenente SCIFFpublic SciffBridge()
Method Detail |
---|
public boolean runProject(Project project)
project
- Progetto SCIFF
public boolean runProject(java.lang.String projectName)
project
- Nome del progetto SCIFF
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |