package simpleBytecode
Ordering
- Alphabetic
Visibility
- Public
- Protected
Type Members
- abstract class InstructionFlowAnalysis[State] extends DataFlowAnalysis[Int, State]
- abstract class InstructionTypeAnalysis extends InstructionFlowAnalysis[ProgramTypeState]
- class InstructionTypeAnalysisForMethod extends AnyRef
- case class ProgramTypeState(stackTypes: Seq[Node], variableTypes: Map[Int, Node]) extends Product with Serializable
Value Members
- object InferredMaxStack extends DeltaWithPhase with DeltaWithGrammar
- object InferredStackFrames extends DeltaWithPhase with DeltaWithGrammar
- object InlineConstantPool extends DeltaWithPhase with DeltaWithGrammar
- object InstructionTypeAnalysis
- object LabelDelta extends InstructionInstance
- object LabelledLocations extends DeltaWithPhase with DeltaWithGrammar