Package cruise.umple.analysis

Class PostconditionAnalyzer

java.lang.Object

cruise.umple.parser.analysis.Analyzer

cruise.umple.analysis.PostconditionAnalyzer

public class PostconditionAnalyzer
extends Analyzer

Constructor Summary

Constructors

Constructor	Description
PostconditionAnalyzer()

Method Summary

Modifier and Type	Method	Description
void	analyze(Token token)	Analyze is called to analyze the particular token
void	delete()
Method	getMethod()
ConstraintTree	getRawLine()
UmpleClassifier	getUClassifier()
void	prepare(Token token)	Prepare is called before analyzing the token, allowing edits or sanitizing to be done
boolean	setMethod(Method aMethod)
boolean	setRawLine(ConstraintTree aRawLine)
boolean	setUClassifier(UmpleClassifier aUClassifier)
java.lang.String	toString()

Methods inherited from class cruise.umple.parser.analysis.Analyzer

addChild, addChildAt, addOrMoveChildAt, addOrMoveParentAt, addParent, addParentAt, analyzeToken, getChild, getChildren, getName, getParent, getParent, hasChildren, hasParent, indexOfChild, indexOfParent, minimumNumberOfChildren, minimumNumberOfParent, numberOfChildren, numberOfParent, removeChild, removeParent, setName

Methods inherited from class java.lang.Object

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

Constructor Details

PostconditionAnalyzer

public PostconditionAnalyzer()

Method Details

setRawLine

public boolean setRawLine(ConstraintTree aRawLine)

setUClassifier

public boolean setUClassifier(UmpleClassifier aUClassifier)

setMethod

public boolean setMethod(Method aMethod)

getRawLine

public ConstraintTree getRawLine()

getUClassifier

public UmpleClassifier getUClassifier()

getMethod

public Method getMethod()

delete

public void delete()

Overrides:

delete in class Analyzer

prepare

public void prepare(Token token)

Description copied from class: Analyzer

Prepare is called before analyzing the token, allowing edits or sanitizing to be done

Overrides:

prepare in class Analyzer

analyze

public void analyze(Token token)

Description copied from class: Analyzer

Analyze is called to analyze the particular token

Overrides:

analyze in class Analyzer

toString

public java.lang.String toString()

Overrides:

toString in class Analyzer