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

Constructor Summary

Constructors

Constructor and Description
Pop(ProgramState programState, List<SymbolicValue> 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

Constructor Detail

Pop

public Pop(ProgramState programState,
           List<SymbolicValue> result)