Rainbow
Class PropTest

java.lang.Object
  |
  +--Rainbow.PropTest

public class PropTest

extends Object

Proposition parser testbed for device-free propositions.

See Also:

Propositions

Method Summary

static void

main(String[] args) Parses and evaluates an array of propositions.

Methods inherited from class java.lang.Object

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

Method Detail

main

public static void main(String[] args)
                 throws Exception

Parses and evaluates an array of propositions. Prints the result as a bitmapped integer. Please note that no devices are defined, so attempts to refer to them will fail. If the system property ast.dump is set to true, will also produce a dump of the Abstract Syntax Trees for the propositions before evaluating them.

Parameters:

args - The propositions to parse, one per argument.

Throws:

Exception - If anything goes wrong.