analysis
analysis
org.polystat.odin.analysis
ASTAnalyzer
EOOdinAnalyzer
OdinAnalysisResult
AnalyzerFailure
DefectsDetected
Ok
OdinAnalysisResult
ObjectName
ObjectName
org.polystat.odin.analysis.liskov
Analyzer
MethodAnalysisInfo
MethodAndContainer
org.polystat.odin.analysis.mutualrec.advanced
Analyzer
CallGraph
CallChainOps
CallGraphOps
Program
MethodName
MethodNameOps
Object
ParentInfo
ProgramOps
org.polystat.odin.analysis.stateaccess
DetectStateAccess
State
StateChange
org.polystat.odin.analysis.unjustifiedassumptions
Analyzer
org.polystat.odin.analysis.utils
Abstract
Optics
lenses
optionals
prisms
traversals
org.polystat.odin.analysis.utils.inlining
BndItself
BndPlaceholder
Call
GenericMethodInfo
GenericParentInfo
Inliner
LocateCalls
LocateMethods
LocatorContext
MethodInfo
MethodInfoAfterInlining
MethodInfoForAnalysis
MethodPlaceholder
ObjectInfo
ObjectInfo
ObjectInfoForAnalysis
ObjectInfoForAnalysis
ObjectNameWithLocator
ObjectPlaceholder
ObjectTree
ParentInfo
ParentInfoForInlining
ParentName
ParentPlaceholder
TraverseMethods
types
org.polystat.odin.analysis.utils.j2eo
Other
Primitives
org.polystat.odin.analysis.utils.logicalextraction
ExtractLogic
SMTUtils
LogicInfo
analysis
/
org.polystat.odin.analysis.utils
/
Optics
/
traversals
traversals
object
traversals
Graph
Supertypes
Self type
class
Object
trait
Matchable
class
Any
traversals
.type
Value members
Value members
Concrete methods
def
nonEmptyVectorTraversal
[
A
]:
Traversal
[
NonEmptyVector
[
A
],
A
]
Concrete fields
val
eoArrayElems
:
Traversal
[
EOArray
[
EOExprOnly
],
EOExprOnly
]
val
eoCopy
:
Traversal
[
EOCopy
[
EOExprOnly
],
EOExprOnly
]
val
eoObjBndAttrExprs
:
Traversal
[
EOObj
[
EOExprOnly
],
EOExprOnly
]
val
eoObjBndAttrs
:
Traversal
[
EOObj
[
EOExprOnly
],
EOBndExpr
[
EOExprOnly
]]
val
eoProg
:
Traversal
[
EOProg
[
EOExprOnly
],
EOExprOnly
]
val
eoProgBndAttrs
:
Traversal
[
EOProg
[
EOExprOnly
],
EOBnd
[
EOExprOnly
]]