Package de.monticore.ocl.oclexpressions._symboltable

Class OCLExpressionsScopesGenitorTOP

java.lang.Object

de.monticore.ocl.oclexpressions._symboltable.OCLExpressionsScopesGenitorTOP

All Implemented Interfaces:

OCLExpressionsHandler, OCLExpressionsVisitor2, de.monticore.visitor.IHandler, de.monticore.visitor.IVisitor

Direct Known Subclasses:

OCLExpressionsScopesGenitor

public abstract class OCLExpressionsScopesGenitorTOP
extends Object
implements OCLExpressionsVisitor2, OCLExpressionsHandler

Field Summary

Fields

Modifier and Type	Field	Description
protected IOCLExpressionsScope	firstCreatedScope
protected Deque<IOCLExpressionsScope>	scopeStack
protected OCLExpressionsTraverser	traverser

Constructor Summary

Constructors

Constructor	Description
OCLExpressionsScopesGenitorTOP()

Method Summary

Modifier and Type	Method	Description
void	addToScopeStack(IOCLExpressionsScope scope)
IOCLExpressionsArtifactScope	createFromAST(ASTOCLVariableDeclaration rootNode)
IOCLExpressionsScope	createScope(boolean shadowing)
void	endVisit(ASTExistsExpression node)
void	endVisit(ASTForallExpression node)
void	endVisit(ASTInDeclarationVariable node)
void	endVisit(ASTIterateExpression node)
void	endVisit(ASTLetinExpression node)
void	endVisit(ASTOCLVariableDeclaration node)
void	endVisit(ASTTypeIfThenExpression node)
final Optional<IOCLExpressionsScope>	getCurrentScope()
IOCLExpressionsScope	getFirstCreatedScope()
OCLExpressionsTraverser	getTraverser()
protected void	initArtifactScopeHP1(IOCLExpressionsArtifactScope scope)
protected void	initArtifactScopeHP2(IOCLExpressionsArtifactScope scope)
protected void	initScopeHP1(IOCLExpressionsScope scope)
protected void	initScopeHP2(IOCLExpressionsScope scope)
protected void	initVariableHP1(VariableSymbol symbol)
protected void	initVariableHP2(VariableSymbol symbol)
void	putOnStack(IOCLExpressionsScope scope)
final Optional<IOCLExpressionsScope>	removeCurrentScope()
void	setScopeStack(Deque<? extends IOCLExpressionsScope> scopeStack)
void	setTraverser(OCLExpressionsTraverser traverser)
void	visit(ASTAnyExpression node)
void	visit(ASTEquivalentExpression node)
void	visit(ASTExistsExpression node)
void	visit(ASTForallExpression node)
void	visit(ASTIfThenElseExpression node)
void	visit(ASTImpliesExpression node)
void	visit(ASTInDeclaration node)
void	visit(ASTInDeclarationVariable node)
void	visit(ASTIterateExpression node)
void	visit(ASTLetinExpression node)
void	visit(ASTOCLAtPreQualification node)
void	visit(ASTOCLTransitiveQualification node)
void	visit(ASTOCLVariableDeclaration node)
void	visit(ASTTypeIfExpression node)
void	visit(ASTTypeIfThenExpression node)

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.monticore.visitor.IHandler

handle, handle, handle, handle, handle, traverse, traverse

Methods inherited from interface de.monticore.visitor.IVisitor

endVisit, endVisit, endVisit, endVisit, visit, visit, visit, visit

Methods inherited from interface de.monticore.ocl.oclexpressions._visitor.OCLExpressionsHandler

handle, handle, handle, handle, handle, handle, handle, handle, handle, handle, handle, handle, handle, handle, handle, handle, handle, handle, handle, handle, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse

Methods inherited from interface de.monticore.ocl.oclexpressions._visitor.OCLExpressionsVisitor2

endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, visit, visit, visit, visit

Field Details

scopeStack

protected Deque<IOCLExpressionsScope> scopeStack

traverser

protected OCLExpressionsTraverser traverser

firstCreatedScope

protected IOCLExpressionsScope firstCreatedScope

Constructor Details

OCLExpressionsScopesGenitorTOP

public OCLExpressionsScopesGenitorTOP()

Method Details

getTraverser

public OCLExpressionsTraverser getTraverser()

Specified by:

getTraverser in interface de.monticore.visitor.IHandler

Specified by:

getTraverser in interface OCLExpressionsHandler

setTraverser

public void setTraverser(OCLExpressionsTraverser traverser)

Specified by:

setTraverser in interface OCLExpressionsHandler

getFirstCreatedScope

public IOCLExpressionsScope getFirstCreatedScope()

createFromAST

public IOCLExpressionsArtifactScope createFromAST(ASTOCLVariableDeclaration rootNode)

putOnStack

public void putOnStack(IOCLExpressionsScope scope)

getCurrentScope

public final Optional<IOCLExpressionsScope> getCurrentScope()

removeCurrentScope

public final Optional<IOCLExpressionsScope> removeCurrentScope()

setScopeStack

public void setScopeStack(Deque<? extends IOCLExpressionsScope> scopeStack)

createScope

public IOCLExpressionsScope createScope(boolean shadowing)

visit

public void visit(ASTOCLVariableDeclaration node)

Specified by:

visit in interface OCLExpressionsVisitor2

endVisit

public void endVisit(ASTOCLVariableDeclaration node)

Specified by:

endVisit in interface OCLExpressionsVisitor2

visit

public void visit(ASTInDeclarationVariable node)

Specified by:

visit in interface OCLExpressionsVisitor2

endVisit

public void endVisit(ASTInDeclarationVariable node)

Specified by:

endVisit in interface OCLExpressionsVisitor2

initVariableHP1

protected void initVariableHP1(VariableSymbol symbol)

initVariableHP2

protected void initVariableHP2(VariableSymbol symbol)

visit

public void visit(ASTTypeIfExpression node)

Specified by:

visit in interface OCLExpressionsVisitor2

visit

public void visit(ASTIfThenElseExpression node)

Specified by:

visit in interface OCLExpressionsVisitor2

visit

public void visit(ASTImpliesExpression node)

Specified by:

visit in interface OCLExpressionsVisitor2

visit

public void visit(ASTEquivalentExpression node)

Specified by:

visit in interface OCLExpressionsVisitor2

visit

public void visit(ASTAnyExpression node)

Specified by:

visit in interface OCLExpressionsVisitor2

visit

public void visit(ASTInDeclaration node)

Specified by:

visit in interface OCLExpressionsVisitor2

visit

public void visit(ASTOCLAtPreQualification node)

Specified by:

visit in interface OCLExpressionsVisitor2

visit

public void visit(ASTOCLTransitiveQualification node)

Specified by:

visit in interface OCLExpressionsVisitor2

visit

public void visit(ASTTypeIfThenExpression node)

Specified by:

visit in interface OCLExpressionsVisitor2

endVisit

public void endVisit(ASTTypeIfThenExpression node)

Specified by:

endVisit in interface OCLExpressionsVisitor2

visit

public void visit(ASTForallExpression node)

Specified by:

visit in interface OCLExpressionsVisitor2

endVisit

public void endVisit(ASTForallExpression node)

Specified by:

endVisit in interface OCLExpressionsVisitor2

visit

public void visit(ASTExistsExpression node)

Specified by:

visit in interface OCLExpressionsVisitor2

endVisit

public void endVisit(ASTExistsExpression node)

Specified by:

endVisit in interface OCLExpressionsVisitor2

visit

public void visit(ASTLetinExpression node)

Specified by:

visit in interface OCLExpressionsVisitor2

endVisit

public void endVisit(ASTLetinExpression node)

Specified by:

endVisit in interface OCLExpressionsVisitor2

visit

public void visit(ASTIterateExpression node)

Specified by:

visit in interface OCLExpressionsVisitor2

endVisit

public void endVisit(ASTIterateExpression node)

Specified by:

endVisit in interface OCLExpressionsVisitor2

initScopeHP1

protected void initScopeHP1(IOCLExpressionsScope scope)

initScopeHP2

protected void initScopeHP2(IOCLExpressionsScope scope)

initArtifactScopeHP1

protected void initArtifactScopeHP1(IOCLExpressionsArtifactScope scope)

initArtifactScopeHP2

protected void initArtifactScopeHP2(IOCLExpressionsArtifactScope scope)

addToScopeStack

public void addToScopeStack(IOCLExpressionsScope scope)