Raptor.ProgramParser.Statements
Class PNum

java.lang.Object
  Raptor.ProgramParser.Statements.PTerm
      Raptor.ProgramParser.Statements.PNum

All Implemented Interfaces:

java.io.Serializable

public class PNum
extends PTerm

Creates a number program term.
Extends abstract class PTerm.

See Also:

Serialized Form

Constructor Summary

PNum(int pValue)
Constructs a new Num PTerm.

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 "" A PNum clashes with a signature if any of its parts clash with the signature.
java.lang.String	display() Returns a String to display the num term.
Term	s() Creates VVar to replace PVar in the formula where necessary.

Methods inherited from class Raptor.ProgramParser.Statements.PTerm

getName, setName

Methods inherited from class java.lang.Object

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

Constructor Detail

PNum

public PNum(int pValue)

Constructs a new Num PTerm.

Parameters:

pValue - the numerical value of the num

Method Detail

display

public java.lang.String display()

Returns a String to display the num term.

Specified by:

display in class PTerm

s

public Term s()

Creates VVar to replace PVar in the formula where necessary. Used in Raptor.

Specified by:

s in class PTerm

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 ""
A PNum clashes with a signature if any of its parts clash with the signature.

Specified by:

clashes in class PTerm

Parameters:

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