JSHOP2
Class LogicalExpressionNegation

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

public class LogicalExpressionNegation
extends LogicalExpression

Each negative term in a 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 le
          The logical expression to be negated.
 
Fields inherited from class JSHOP2.CompileTimeObject
endl
 
Constructor Summary
LogicalExpressionNegation(LogicalExpression leIn)
          To initialize this negative logical expression.
 
Method Summary
 java.lang.String getInitCode()
          This function produces Java code that implements the class any object of which can be used at run time to represent the logical expression this object is negating.
protected  void propagateVarCount(int varCount)
          To propagate the variable count to the logical expression the negative of which this object represents.
 java.lang.String toCode()
          This function produces the Java code to create a PreconditionNegation object that represents this negative 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

le

private LogicalExpression le
The logical expression to be negated.

Constructor Detail

LogicalExpressionNegation

public LogicalExpressionNegation(LogicalExpression leIn)
To initialize this negative logical expression.

Parameters:
leIn - the logical expression to be negated.
Method Detail

getInitCode

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

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 logical expression the negative of which this object represents.

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 PreconditionNegation object that represents this negative logical expression at run time.

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