Raptor.ProgramParser.Statements
Class Assignment

java.lang.Object
  Raptor.ProgramParser.Statements.Instruction
      Raptor.ProgramParser.Statements.Assignment

All Implemented Interfaces:

java.io.Serializable

public class Assignment
extends Instruction

An assignment instruction.
Extends abstract Instruction class.

See Also:

Serialized Form

Constructor Summary

Assignment()
For XMLEncoder

Assignment(PTerm pleft, BoolTerm pright)

Assignment(PTerm pLeft, PTerm pRight)
Constructs a new Assignment instruction.

Method Summary

java.lang.String	clashes(PanSignature pSignature) Returns a String containing an Error character if this Formula clashes with the passed PanSignature, Otherwise it will return an Empty String "" An Assignment Statement clashes with a signature if any of its left or right PTerms clash with the signature.
java.lang.String	display() Returns a String to display the assignment instruction.
PTerm	getLeft() Returns the left hand side of the assignment expression.
PTerm	getRight() Returns the right hand side of the assignment expression.
void	setLeft(PTerm pLeft) Sets the left PTerm of the assignment
void	setRight(PTerm pRight) Sets the right PTerm of the assignment

Methods inherited from class java.lang.Object

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

Constructor Detail

Assignment

public Assignment()

For XMLEncoder

Assignment

public Assignment(PTerm pLeft,
                  PTerm pRight)

Constructs a new Assignment instruction.

Parameters:

pLeft - the program term on the left hand side of the equals symbol

pRight - the program term on the right hand side of the equals symbol

Assignment

public Assignment(PTerm pleft,
                  BoolTerm pright)

Method Detail

getLeft

public PTerm getLeft()

Returns the left hand side of the assignment expression.

setLeft

public void setLeft(PTerm pLeft)

Sets the left PTerm of the assignment

getRight

public PTerm getRight()

Returns the right hand side of the assignment expression.

setRight

public void setRight(PTerm pRight)

Sets the right PTerm of the assignment

display

public java.lang.String display()

Returns a String to display the assignment instruction.

Specified by:

display in class Instruction

clashes

public java.lang.String clashes(PanSignature pSignature)

Returns a String containing an Error character if this Formula clashes with the passed PanSignature, Otherwise it will return an Empty String ""
An Assignment Statement clashes with a signature if any of its left or right PTerms clash with the signature.

Specified by:

clashes in class Instruction

Parameters:

pSignature - PanSignature represents the PanSignature to be checked if this Formula clashes with.