Raptor.ProgramParser.Statements
Class PTerm

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

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

AndTerm, BoolTerm, BVar, Method, PAExp, PArray, PLVar, PNum, PVar, WArray

public abstract class PTerm
extends java.lang.Object
implements java.io.Serializable

Abstract class to respresent all terms in programs.

See Also:

Serialized Form

Constructor Summary

PTerm()

Method Summary

abstract 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 PTerm clashes with a signature if any of its parts clash with the signature.
abstract java.lang.String	display() Returns a String to display the PTerm.
java.lang.String	getName()
abstract Term	s() Creates VVar to replace PVar in the formula where necessary.
void	setName(java.lang.String string)

Methods inherited from class java.lang.Object

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

Constructor Detail

PTerm

public PTerm()

Method Detail

display

public abstract java.lang.String display()

Returns a String to display the PTerm.

s

public abstract Term s()

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

clashes

public abstract 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 PTerm clashes with a signature if any of its parts clash with the signature.

Parameters:

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

setName

public void setName(java.lang.String string)

getName

public java.lang.String getName()