edu.ucla.util.code
Interface Script
- All Known Implementing Classes:
- JDKCompile, JDKRun, JDKToolScript
public interface Script
- Since:
- 032405
- Author:
- Keith Cascio
getName
String getName()
getDescriptionComment
String getDescriptionComment()
getUsage
String getUsage()
getUsageExample
String getUsageExample()
getDefaultFileName
String getDefaultFileName()
write
void write(ScriptGenius genius,
SystemSoftwareSource source,
PrintStream out)
throws Exception
- Throws:
Exception
write
void write(ScriptGenius genius,
SystemSoftwareSource source,
File ofile)
throws Exception
- Throws:
Exception
getDependencies
SoftwareEntity[] getDependencies()
isResolved
boolean isResolved()
isResolved
boolean isResolved(SystemSoftwareSource source)
throws Exception
- Throws:
Exception
exec
ScriptExecution exec(String[] args,
File dir,
ScriptGenius genius,
SystemSoftwareSource source)
throws Exception
- Throws:
Exception
Copyright 2010 UCLA Automated Reasoning Group