Class TranslatorToCAst.LoopContext<C extends TranslatorToCAst.WalkContext<C,T>, T>

java.lang.Object

com.ibm.wala.cast.ir.translator.TranslatorToCAst.DelegatingContext<C,T>

com.ibm.wala.cast.ir.translator.TranslatorToCAst.BreakContext<C,T>

com.ibm.wala.cast.ir.translator.TranslatorToCAst.LoopContext<C,T>

All Implemented Interfaces:

TranslatorToCAst.WalkContext<C,T>

Enclosing interface:

TranslatorToCAst

public static class TranslatorToCAst.LoopContext<C extends TranslatorToCAst.WalkContext<C,T>, T>
extends TranslatorToCAst.BreakContext<C,T>

Field Summary

Fields inherited from class TranslatorToCAst.BreakContext

label

Modifier and Type	Field	Description
protected final String	label

Fields inherited from class TranslatorToCAst.DelegatingContext

parent

Modifier and Type	Field	Description
protected final C	parent

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	LoopContext(C parent, T breakTo, T continueTo, String label)

Method Summary

Modifier and Type	Method	Description
T	getContinueFor(String l)	for a 'continue' style goto, return the control flow target

Methods inherited from class TranslatorToCAst.BreakContext

getBreakFor

Modifier and Type	Method	Description
T	getBreakFor(String l)	for a 'break' style goto, return the control flow target

Methods inherited from class TranslatorToCAst.DelegatingContext

getParent, top

Modifier and Type	Method	Description
TranslatorToCAst.WalkContext<C,T>	getParent()
T	top()

Methods inherited from class Object

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

Methods inherited from interface TranslatorToCAst.WalkContext

addNameDecl, addScopedEntity, cfg, getCatchTarget, getCatchTarget, getNameDecls, getNodeTypeMap, getScopedEntities, pos

Modifier and Type	Method	Description
default void	addNameDecl(CAstNode n)	Add a name declaration to this context.
default void	addScopedEntity(CAstNode newNode, CAstEntity visit)	associate a child entity with a given CAstNode, e.g.
default CAstControlFlowRecorder	cfg()	for recording control-flow relationships among the CAst nodes
default CAstNode	getCatchTarget()
default CAstNode	getCatchTarget(String s)
default List<CAstNode>	getNameDecls()
default CAstNodeTypeMapRecorder	getNodeTypeMap()	for recording types of nodes
default Map<CAstNode, Collection<CAstEntity>>	getScopedEntities()	get a mapping from CAstNodes to the scoped entities (e.g.
default CAstSourcePositionRecorder	pos()	for recording source positions

Constructor Details

LoopContext

protected LoopContext(C parent,
 T breakTo,
 T continueTo,
 String label)

Method Details

getContinueFor

public T getContinueFor(String l)

Description copied from interface: TranslatorToCAst.WalkContext

for a 'continue' style goto, return the control flow target