edu.ucla.util.code
Class BatchScriptGenius

Object
  extended by AbstractScriptGenius
      extended by BatchScriptGenius
All Implemented Interfaces:
ScriptGenius

public class BatchScriptGenius
extends AbstractScriptGenius
implements ScriptGenius

Since:
032405
Author:
Keith Cascio

Constructor Summary
BatchScriptGenius()
           
 
Method Summary
 String getCommentToken()
           
 String getScriptFileExtension()
           
 String getScriptLanguageDescription()
           
 String getWildArgumentToken()
           
 void writeArgValidation(Script script, PrintStream out)
           
 void writeCommandPost(PrintStream out, String command)
           
 void writeCommandPrep(PrintStream out, String command)
           
 void writeHeader(PrintStream out)
           
 void writeTail(Script script, PrintStream out)
           
 
Methods inherited from class AbstractScriptGenius
escapeQuotes, formSystemCall, quote
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface ScriptGenius
escapeQuotes, formSystemCall, quote
 

Constructor Detail

BatchScriptGenius

public BatchScriptGenius()
Method Detail

writeHeader

public void writeHeader(PrintStream out)
Specified by:
writeHeader in interface ScriptGenius
Overrides:
writeHeader in class AbstractScriptGenius

writeCommandPrep

public void writeCommandPrep(PrintStream out,
                             String command)
Specified by:
writeCommandPrep in interface ScriptGenius
Overrides:
writeCommandPrep in class AbstractScriptGenius

writeCommandPost

public void writeCommandPost(PrintStream out,
                             String command)
Specified by:
writeCommandPost in interface ScriptGenius
Overrides:
writeCommandPost in class AbstractScriptGenius

writeArgValidation

public void writeArgValidation(Script script,
                               PrintStream out)
Specified by:
writeArgValidation in interface ScriptGenius
Overrides:
writeArgValidation in class AbstractScriptGenius

writeTail

public void writeTail(Script script,
                      PrintStream out)
Specified by:
writeTail in interface ScriptGenius
Overrides:
writeTail in class AbstractScriptGenius

getWildArgumentToken

public String getWildArgumentToken()
Specified by:
getWildArgumentToken in interface ScriptGenius

getCommentToken

public String getCommentToken()
Specified by:
getCommentToken in interface ScriptGenius

getScriptFileExtension

public String getScriptFileExtension()
Specified by:
getScriptFileExtension in interface ScriptGenius

getScriptLanguageDescription

public String getScriptLanguageDescription()
Specified by:
getScriptLanguageDescription in interface ScriptGenius


Copyright 2010 UCLA Automated Reasoning Group