ponderToolkit.compiler.semantics.objects
Class Refrain

java.lang.Object
  |
  +--ponderToolkit.compiler.semantics.objects.PonderObject
        |
        +--ponderToolkit.compiler.semantics.objects.BasicPolicy
              |
              +--ponderToolkit.compiler.semantics.objects.Refrain

public class Refrain

extends BasicPolicy

Function: Models a Refrain Policy

Fields inherited from class ponderToolkit.compiler.semantics.objects.BasicPolicy

action, subject, target

Fields inherited from class ponderToolkit.compiler.semantics.objects.PonderObject

env, isType, location, name, parent, pos

Constructor Summary

Refrain()
Constructor which builds a Refrain policy with no associated environment

Refrain(Table env)
Constructor which accepts an environment only

Refrain(Table env, PonderObject parent, TokenPosition pos)
Constructor which accepts an environment, the parent PonderObject and the TokenPosition for this policy

Method Summary

void	checkCompleteness() Checks if the Refrain Policy is complete.

Methods inherited from class ponderToolkit.compiler.semantics.objects.BasicPolicy

action, hasSubject, hasTarget, subject, target

Methods inherited from class ponderToolkit.compiler.semantics.objects.PonderObject

getEnv, getIsType, getLocation, getName, getParent, getPosition, getSourceText, setEnv, setIsType, setLocation, setName, setParent, setPosition, setSourceText

Methods inherited from class java.lang.Object

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

Constructor Detail

Refrain

public Refrain(Table env,
               PonderObject parent,
               TokenPosition pos)

Constructor which accepts an environment, the parent PonderObject and the TokenPosition for this policy

Refrain

public Refrain(Table env)

Constructor which accepts an environment only

Refrain

public Refrain()

Constructor which builds a Refrain policy with no associated environment

Method Detail

checkCompleteness

public void checkCompleteness()

Checks if the Refrain Policy is complete. All the required attributes are specified.

Overrides:

checkCompleteness in class BasicPolicy