Raptor.ProgramParser.Statements
Class VoidMethod

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

All Implemented Interfaces:

java.io.Serializable

public class VoidMethod
extends Instruction

See Also:

Serialized Form

Constructor Summary

VoidMethod(PTerm m)

Method Summary

java.lang.String	clashes(PanSignature signature) Returns a String containing an Error character if this Formula clashes with the passed PanSignature, Otherwise it will return an Empty String "" An Instruction clashes with a signature if any of its parts clash with the signature.
java.lang.String	display() Returns a String to display the instruction.
Method	getMethod()

Methods inherited from class java.lang.Object

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

Constructor Detail

VoidMethod

public VoidMethod(PTerm m)

Method Detail

clashes

public java.lang.String clashes(PanSignature signature)

Description copied from class: Instruction

Returns a String containing an Error character if this Formula clashes with the passed PanSignature, Otherwise it will return an Empty String ""
An Instruction clashes with a signature if any of its parts clash with the signature.

Specified by:

clashes in class Instruction

Parameters:

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

display

public java.lang.String display()

Description copied from class: Instruction

Returns a String to display the instruction.

Specified by:

display in class Instruction

getMethod

public Method getMethod()