dk.brics.tajs.analysis

Interfaces

• FunctionCalls.CallInfo
• IContextSensitivityStrategy
• ParallelTransfer.Transfer
• Unsoundness.MessageCollector

Classes

• Analysis
• AsyncEvents
• BasicContextSensitivityStrategy
• Conversion
• CustomContextSensitivityStrategy
• EvalCache
• Exceptions
• FunctionCalls
• FunctionCalls.DefaultImplicitCallInfo
• FunctionCalls.EventHandlerCall
• FunctionCalls.OrdinaryCallInfo
• InitialStateBuilder
• KnownUnsoundnesses
• NativeObjectToString
• ParallelTransfer
• PartialHostModels
• PropVarOperations
• Solver
• StaticDeterminacyContextSensitivityStrategy
• Transfer
• Unsoundness

Enums

• Conversion.Hint
• HostAPIs