joeq.Compiler.Analysis.Primitive

Interfaces  PrimitiveMethodSummary.HeapObject PrimitiveMethodSummary.Variable

Classes  PrimitiveGenRelations PrimitiveMethodSummary PrimitiveMethodSummary.AccessPath PrimitiveMethodSummary.BuildMethodSummary PrimitiveMethodSummary.CallSite PrimitiveMethodSummary.CheckCastNode PrimitiveMethodSummary.ConcreteObjectNode PrimitiveMethodSummary.ConcreteTypeNode PrimitiveMethodSummary.FakeParamNode PrimitiveMethodSummary.FieldNode PrimitiveMethodSummary.GlobalNode PrimitiveMethodSummary.InsideEdgeNavigator PrimitiveMethodSummary.MethodSummaryBuilder PrimitiveMethodSummary.Node PrimitiveMethodSummary.NodeSet PrimitiveMethodSummary.OperandToNodeMap PrimitiveMethodSummary.OutsideNode PrimitiveMethodSummary.ParamNode PrimitiveMethodSummary.PassedParameter PrimitiveMethodSummary.PlaceholderNode PrimitiveMethodSummary.ReturnedNode PrimitiveMethodSummary.ReturnValueNode PrimitiveMethodSummary.State PrimitiveMethodSummary.ThrownExceptionNode PrimitiveMethodSummary.UnknownTypeNode PrimitivePA PrimitivePA.ThreadRootMap PrimitivePA.VarPathSelector PrimitivePACallGraph PrimitivePACallGraph.BDDSet PrimitivePACallGraph.PACallTargetMap PrimitivePAMethodSummary PrimitiveSubtypeHelper PrimitiveSubtypeHelper.KnownClassesSubtypeHelper PrimitiveSubtypeHelper.OfflineSubtypeHelper PrimitiveSubtypeHelper.OnlineSubtypeHelper