|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectjavasciff.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 | |||||||||