org.sonar.java.se

Class ProgramState.Pop

java.lang.Object

org.sonar.java.se.ProgramState.Pop

Enclosing class:

ProgramState

public static class ProgramState.Pop
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
ProgramState	state
List<SymbolicValue>	values
List<ProgramState.SymbolicValueSymbol>	valuesAndSymbols

Constructor Summary

Constructors

Constructor and Description
Pop(ProgramState programState, List<ProgramState.SymbolicValueSymbol> result)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

state

public final ProgramState state

values

public final List<SymbolicValue> values

valuesAndSymbols

public final List<ProgramState.SymbolicValueSymbol> valuesAndSymbols

Constructor Detail

Pop

public Pop(ProgramState programState,
           List<ProgramState.SymbolicValueSymbol> result)