Package de.monticore.statements.mcassertstatements._symboltable

Class MCAssertStatementsScopesGenitor

java.lang.Object

de.monticore.statements.mcassertstatements._symboltable.MCAssertStatementsScopesGenitor

All Implemented Interfaces:

MCAssertStatementsHandler, MCAssertStatementsVisitor2, de.monticore.visitor.IHandler, de.monticore.visitor.IVisitor

public class MCAssertStatementsScopesGenitor
extends Object
implements MCAssertStatementsVisitor2, MCAssertStatementsHandler

Field Summary

Fields

Modifier and Type	Field	Description
protected IMCAssertStatementsScope	firstCreatedScope
protected Deque<IMCAssertStatementsScope>	scopeStack
protected MCAssertStatementsTraverser	traverser

Constructor Summary

Constructors

Constructor	Description
MCAssertStatementsScopesGenitor()

Method Summary

Modifier and Type	Method	Description
void	addToScopeStack(IMCAssertStatementsScope scope)
IMCAssertStatementsArtifactScope	createFromAST(ASTAssertStatement rootNode)
IMCAssertStatementsScope	createScope(boolean shadowing)
final Optional<IMCAssertStatementsScope>	getCurrentScope()
IMCAssertStatementsScope	getFirstCreatedScope()
MCAssertStatementsTraverser	getTraverser()
protected void	initArtifactScopeHP1(IMCAssertStatementsArtifactScope scope)
protected void	initArtifactScopeHP2(IMCAssertStatementsArtifactScope scope)
protected void	initScopeHP1(IMCAssertStatementsScope scope)
protected void	initScopeHP2(IMCAssertStatementsScope scope)
void	putOnStack(IMCAssertStatementsScope scope)
final Optional<IMCAssertStatementsScope>	removeCurrentScope()
void	setScopeStack(Deque<? extends IMCAssertStatementsScope> scopeStack)
void	setTraverser(MCAssertStatementsTraverser traverser)
void	visit(ASTAssertStatement 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.statements.mcassertstatements._visitor.MCAssertStatementsHandler

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

Methods inherited from interface de.monticore.statements.mcassertstatements._visitor.MCAssertStatementsVisitor2

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

Field Details

scopeStack

protected Deque<IMCAssertStatementsScope> scopeStack

traverser

protected MCAssertStatementsTraverser traverser

firstCreatedScope

protected IMCAssertStatementsScope firstCreatedScope

Constructor Details

MCAssertStatementsScopesGenitor

public MCAssertStatementsScopesGenitor()

Method Details

getTraverser

public MCAssertStatementsTraverser getTraverser()

Specified by:

getTraverser in interface de.monticore.visitor.IHandler

Specified by:

getTraverser in interface MCAssertStatementsHandler

setTraverser

public void setTraverser(MCAssertStatementsTraverser traverser)

Specified by:

setTraverser in interface MCAssertStatementsHandler

getFirstCreatedScope

public IMCAssertStatementsScope getFirstCreatedScope()

createFromAST

public IMCAssertStatementsArtifactScope createFromAST(ASTAssertStatement rootNode)

putOnStack

public void putOnStack(IMCAssertStatementsScope scope)

getCurrentScope

public final Optional<IMCAssertStatementsScope> getCurrentScope()

removeCurrentScope

public final Optional<IMCAssertStatementsScope> removeCurrentScope()

setScopeStack

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

createScope

public IMCAssertStatementsScope createScope(boolean shadowing)

visit

public void visit(ASTAssertStatement node)

Specified by:

visit in interface MCAssertStatementsVisitor2

initScopeHP1

protected void initScopeHP1(IMCAssertStatementsScope scope)

initScopeHP2

protected void initScopeHP2(IMCAssertStatementsScope scope)

initArtifactScopeHP1

protected void initArtifactScopeHP1(IMCAssertStatementsArtifactScope scope)

initArtifactScopeHP2

protected void initArtifactScopeHP2(IMCAssertStatementsArtifactScope scope)

addToScopeStack

public void addToScopeStack(IMCAssertStatementsScope scope)