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 StructuredObjectAn object that whose contents can be converted to a domain-independentStructuredRepresentationfor later use.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description StructuredRepresentationrepresentation()Yields aStructuredRepresentationof the information contained in this object's instance.
-
-
-
Method Detail
-
representation
StructuredRepresentation representation()
Yields aStructuredRepresentationof the information contained in this object's instance.- Returns:
- the representation
-
-