Class ExtractionVisitor.Context

java.lang.Object

org.blocktest.visitors.ExtractionVisitor.Context

All Implemented Interfaces:

Cloneable

Enclosing class:

ExtractionVisitor

public static class ExtractionVisitor.Context
extends Object
implements Cloneable

Field Summary

Fields

Modifier and Type	Field	Description
HashMap<String,com.github.javaparser.ast.expr.Expression>	assignments
HashMap<String,com.github.javaparser.ast.type.Type>	symbolTable

Constructor Summary

Constructors

Constructor	Description
Context()

Method Summary

Modifier and Type	Method	Description
ExtractionVisitor.Context	clone()

Methods inherited from class java.lang.Object

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

Field Details

symbolTable

public HashMap<String,com.github.javaparser.ast.type.Type> symbolTable

assignments

public HashMap<String,com.github.javaparser.ast.expr.Expression> assignments

Constructor Details

Context

public Context()

Method Details

clone

public ExtractionVisitor.Context clone()

Overrides:

clone in class Object