dk.brics.tajs.lattice

Interfaces

• Bool
• HostAPI
• HostObject
• ILatticeMonitoring
• LocalContext.Qualifier
• Null
• Num
• PKeys
• Str
• Undef

Classes

• AnalysisLatticeElement
• CallEdge
• Context
• ContextArguments
• ExecutionContext
• HeapContext
• LocalContext
• LocalContext.LoopUnrollingQualifier
• MustEquals
• MustReachingDefs
• Obj
• ObjectLabel
• ObjectLabel.Comparator
• ObjectProperty
• ObjProperties
• ObjProperties.PropertyQuery
• PKey
• PKey.Comparator
• PKey.StringPKey
• PKey.SymbolPKey
• Property
• Renaming
• Restriction
• ScopeChain
• State
• StateExtras
• Summarized
• UnknownValueResolver
• Value

Enums

• ObjectLabel.Kind
• Property.Kind
• Restriction.Kind