Interface StructuredObject
-
- All Known Subinterfaces:
AbstractState<A>
,BaseHeapDomain<H>
,BaseInferredValue<T>
,BaseLattice<L>
,BaseNonRelationalTypeDomain<T>
,BaseNonRelationalValueDomain<T>
,DataflowElement<D,E>
,HeapDomain<D>
,InferredValue<T>
,Lattice<L>
,NonRelationalDomain<T,E,F>
,NonRelationalElement<T,E,F>
,NonRelationalHeapDomain<T>
,NonRelationalTypeDomain<T>
,NonRelationalValueDomain<T>
,SemanticDomain<D,E,I>
,TypeDomain<T>
,ValueDomain<D>
- All Known Implementing Classes:
Aliases
,AnalysisState
,AnalyzedCFG
,BackwardAnalyzedCFG
,BackwardOptimizedAnalyzedCFG
,CFGFixpoint.CompoundState
,CFGResults
,DataflowDomain
,DefiniteDataflowDomain
,Environment
,ExpressionInverseSet
,ExpressionSet
,FixpointInfo
,FixpointResults
,FunctionalLattice
,GenericInverseSetLattice
,GenericMapLattice
,GenericSetLattice
,HeapEnvironment
,InferenceSystem
,InferredValue.InferredPair
,InverseSetLattice
,OptimizedAnalyzedCFG
,PossibleDataflowDomain
,Satisfiability
,SetLattice
,StatementStore
,SymbolAliasing
,TypeEnvironment
,ValueEnvironment
,VariableLift
public interface StructuredObject
An object that whose contents can be converted to a domain-independentStructuredRepresentation
for later use.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description StructuredRepresentation
representation()
Yields aStructuredRepresentation
of the information contained in this object's instance.
-
-
-
Method Detail
-
representation
StructuredRepresentation representation()
Yields aStructuredRepresentation
of the information contained in this object's instance.- Returns:
- the representation
-
-