JSHOP2
Class LogicalExpressionForAll

java.lang.Object
  extended by JSHOP2.CompileTimeObject
      extended by JSHOP2.LogicalExpression
          extended by JSHOP2.LogicalExpressionForAll

public class LogicalExpressionForAll
extends LogicalExpression

Each ForAll logical expression at compile time is represented as an instance of this class.

Version:
1.0.3
Author:
Okhtay Ilghami, http://www.cs.umd.edu/~okhtay

Field Summary
private  LogicalExpression consequence
          The consequence of this ForAll logical expression.
private  LogicalExpression premise
          The premise of this ForAll logical expression.
 
Fields inherited from class JSHOP2.CompileTimeObject
endl
 
Constructor Summary
LogicalExpressionForAll(LogicalExpression premiseIn, LogicalExpression consequenceIn)
          To initialize this ForAll logical expression.
 
Method Summary
 java.lang.String getInitCode()
          This function produces Java code that implements the classes any object of which can be used at run time to represent the premise and the consequence of the ForAll logical expression this object is representing.
protected  void propagateVarCount(int varCount)
          To propagate the variable count to the ForAll logical expression represented by this object.
 java.lang.String toCode()
          This function produces the Java code to create a PreconditionForAll object that represents this ForAll logical expression at run time.
 
Methods inherited from class JSHOP2.LogicalExpression
getClassCnt, getVarCount, setVarCount
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

consequence

private LogicalExpression consequence
The consequence of this ForAll logical expression.


premise

private LogicalExpression premise
The premise of this ForAll logical expression.

Constructor Detail

LogicalExpressionForAll

public LogicalExpressionForAll(LogicalExpression premiseIn,
                               LogicalExpression consequenceIn)
To initialize this ForAll logical expression.

Parameters:
premiseIn - the premise of this ForAll logical expression.
consequenceIn - the consequence of this ForAll logical expression.
Method Detail

getInitCode

public java.lang.String getInitCode()
This function produces Java code that implements the classes any object of which can be used at run time to represent the premise and the consequence of the ForAll logical expression this object is representing.

Specified by:
getInitCode in class LogicalExpression
Returns:
the produced code as a String.

propagateVarCount

protected void propagateVarCount(int varCount)
To propagate the variable count to the ForAll logical expression represented by this object.

Specified by:
propagateVarCount in class LogicalExpression
Parameters:
varCount - the number of variables for this logical expression.

toCode

public java.lang.String toCode()
This function produces the Java code to create a PreconditionForAll object that represents this ForAll logical expression at run time.

Specified by:
toCode in class CompileTimeObject
Returns:
the produced code as a String.