JSHOP2
Class LogicalExpressionAssignment

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

public class LogicalExpressionAssignment
extends LogicalExpression

Each assign 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  Term t
          The term to which the variable will be assigned.
private  int whichVar
          The index of the variable to be assigned.
 
Fields inherited from class JSHOP2.CompileTimeObject
endl
 
Constructor Summary
LogicalExpressionAssignment(int whichVarIn, Term tIn)
          To initialize this assignment logical expression.
 
Method Summary
 java.lang.String getInitCode()
          This class does not need any initialization code, therefore, this function simply returns an empty String.
protected  LogicalExpression getNNF(boolean negated)
           
protected  void propagateVarCount(int varCount)
          This class does not need to propagate the variable count, therefore, this function does nothing.
 java.lang.String toCode()
          This function produces the Java code to create a PreconditionAssign object that represents this assignment 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

t

private Term t
The term to which the variable will be assigned.


whichVar

private int whichVar
The index of the variable to be assigned.

Constructor Detail

LogicalExpressionAssignment

public LogicalExpressionAssignment(int whichVarIn,
                                   Term tIn)
To initialize this assignment logical expression.

Parameters:
whichVarIn - the index of the variable to be assigned.
tIn - the term to which the variable will be assigned.
Method Detail

getInitCode

public java.lang.String getInitCode()
This class does not need any initialization code, therefore, this function simply returns an empty String.

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

getNNF

protected LogicalExpression getNNF(boolean negated)

propagateVarCount

protected void propagateVarCount(int varCount)
This class does not need to propagate the variable count, therefore, this function does nothing.

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

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