org.millscript.millscript
Class Batch

java.lang.Object
  org.millscript.millscript.Session
      org.millscript.millscript.Batch

public class Batch
extends Session

This class is used to start a batch MillScript session.

Field Summary

Fields inherited from class org.millscript.millscript.Session

config, engine, state

Constructor Summary

Batch()

Method Summary

void	compile(java.lang.String origin, java.io.Reader r) Compiles code read from the specified reader, with the specified origin message.
static void	main(java.lang.String[] args) Runs a batch session for the specified parameters.

Methods inherited from class org.millscript.millscript.Session

compile, compile, compile, printStatistics, summarizeResults

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Batch

public Batch()

Method Detail

compile

public void compile(java.lang.String origin,
                    java.io.Reader r)

Description copied from class: Session

Compiles code read from the specified reader, with the specified origin message.

Specified by:

compile in class Session

Parameters:

origin - the origin message for any problems.

r - the reader to read code from.

See Also:

Session.compile(java.lang.String, java.io.Reader)

main

public static void main(java.lang.String[] args)

Runs a batch session for the specified parameters. Each parameter is taken to be a file containing MillScript to execute.

Parameters:

args - array of String arguments, treated as files to compile and execute