TranslatorToCAst.WalkContext (API Reference for wala 1.3.9)

All Known Implementing Classes:

TranslatorToCAst.DelegatingContext, TranslatorToCAst.RootContext

Enclosing interface:

TranslatorToCAst
```
public static interface TranslatorToCAst.WalkContext<C extends TranslatorToCAst.WalkContext<C,T>,T>
```

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`void`	`addScopedEntity(CAstNode newNode, CAstEntity visit)`	associate a child entity with a given CAstNode, e.g.
`CAstControlFlowRecorder`	`cfg()`	for recording control-flow relationships among the CAst nodes
`T`	`getBreakFor(String label)`	for a 'break' style goto, return the control flow target
`T`	`getContinueFor(String label)`	for a 'continue' style goto, return the control flow target
`CAstNodeTypeMapRecorder`	`getNodeTypeMap()`	for recording types of nodes
`Map<CAstNode,Collection<CAstEntity>>`	`getScopedEntities()`	get a mapping from CAstNodes to the scoped entities (e.g.
`CAstSourcePositionRecorder`	`pos()`	for recording source positions

- Method Detail
  - getScopedEntities
```
Map<CAstNode,Collection<CAstEntity>> getScopedEntities()
```
    get a mapping from CAstNodes to the scoped entities (e.g. functions or local classes) introduced by those nodes. Also maps null to those entities not corresponding to any node (e.g nested classes)
  - addScopedEntity
```
void addScopedEntity(CAstNode newNode,
                     CAstEntity visit)
```
    associate a child entity with a given CAstNode, e.g. for a function declaration
  - cfg
```
CAstControlFlowRecorder cfg()
```
    for recording control-flow relationships among the CAst nodes
  - pos
```
CAstSourcePositionRecorder pos()
```
    for recording source positions
  - getNodeTypeMap
```
CAstNodeTypeMapRecorder getNodeTypeMap()
```
    for recording types of nodes
  - getContinueFor
```
T getContinueFor(String label)
```
    for a 'continue' style goto, return the control flow target
  - getBreakFor
```
T getBreakFor(String label)
```
    for a 'break' style goto, return the control flow target