ida.pelab.prt.constraints
Class TypeCheck

java.lang.Object
  ida.pelab.prt.constraints.Constraint
      ida.pelab.prt.constraints.TypeCheck

public class TypeCheck
extends Constraint

Constructor Summary

TypeCheck(RuleParameterType paramType, java.lang.String parameter)

Method Summary

boolean	check(cetus.hir.Traversable rootnode, java.util.ArrayList<MatchedInstance> nodelist)
java.lang.String	getParameter()
RuleParameterType	getParamType()
boolean	isSubscripted(cetus.hir.Traversable node, cetus.hir.Traversable subTree)
void	setParameter(java.lang.String parameter)
void	setParamType(RuleParameterType paramType)

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeCheck

public TypeCheck(RuleParameterType paramType,
                 java.lang.String parameter)

Method Detail

getParamType

public RuleParameterType getParamType()

setParamType

public void setParamType(RuleParameterType paramType)

getParameter

public java.lang.String getParameter()

setParameter

public void setParameter(java.lang.String parameter)

isSubscripted

public boolean isSubscripted(cetus.hir.Traversable node,
                             cetus.hir.Traversable subTree)

check

public boolean check(cetus.hir.Traversable rootnode,
                     java.util.ArrayList<MatchedInstance> nodelist)

Overrides:

check in class Constraint