javafe.ast
Class ModifierPragma

java.lang.Object
  javafe.ast.ASTNode
      javafe.ast.ModifierPragma

All Implemented Interfaces:

java.lang.Cloneable

Direct Known Subclasses:

CondExprModifierPragma, ExprModifierPragma, IdentifierModifierPragma, MapsExprModifierPragma, ModelProgamModifierPragma, ModifiesGroupPragma, NestedModifierPragma, ParsedSpecs, ReachModifierPragma, SimpleModifierPragma, VarDeclModifierPragma, VarExprModifierPragma

public abstract class ModifierPragma

extends ASTNode

Field Summary

private int	originalTag
boolean	redundant

Fields inherited from class javafe.ast.ASTNode

bogusField, dotCounter, dotId

Constructor Summary

protected	ModifierPragma()
protected	ModifierPragma(boolean redundant)

Method Summary

void	check()
boolean	isRedundant()
int	originalTag()
ModifierPragma	setOriginalTag(int t)
void	setRedundant(boolean v)

Methods inherited from class javafe.ast.ASTNode

accept, accept, childAt, childCount, clone, clone, getDecorations, getEndLoc, getStartLoc, getTag, isInternal, setDecorations, toString

Methods inherited from class java.lang.Object

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

Field Detail

redundant

public boolean redundant

originalTag

private int originalTag

Constructor Detail

ModifierPragma

protected ModifierPragma()

ModifierPragma

protected ModifierPragma(boolean redundant)

Method Detail

isRedundant

public boolean isRedundant()

setRedundant

public void setRedundant(boolean v)

setOriginalTag

public ModifierPragma setOriginalTag(int t)

originalTag

public int originalTag()

check

public void check()

Overrides:

check in class ASTNode