Modifier and Type | Method and Description |
---|---|
boolean |
Cfg.transform(CfgNode<?> node,
CfgTransformer actualizer)
Transforms the node with transformer.
|
Modifier and Type | Method and Description |
---|---|
TransformationFunction.Transformation<CfgTransformer,Cfg> |
ConstantsIntegratedFlowFunction.interpretOrReplace(CfgNode<?> node,
Cfg graph,
AssumptionMap<CfgEdge,ConstantsAssumption> assumptionMap) |
TransformationFunction.Transformation<CfgTransformer,Cfg> |
ConstantsTransformationFunction.transform(CfgNode<?> node,
Cfg graph,
AssumptionMap<CfgEdge,ConstantsAssumption> assumptionMap) |
Modifier and Type | Method and Description |
---|---|
IntegratedFlowFunction<CfgNode<?>,CfgEdge,CfgTransformer,Cfg,CopyAssumption> |
CopyAnalysis.getIntegratedFlowFunction() |
TransformationFunction.Transformation<CfgTransformer,Cfg> |
CopyIntegratedFlowFunction.interpretOrReplace(CfgNode<?> node,
Cfg graph,
AssumptionMap<CfgEdge,CopyAssumption> assumptionMap) |
Modifier and Type | Method and Description |
---|---|
CfgTransformer |
LivenessTransformation.getGraphTransformer() |
Modifier and Type | Method and Description |
---|---|
IntegratedFlowFunction<CfgNode<?>,CfgEdge,CfgTransformer,Cfg,LivenessAssumption> |
LivenessAnalysis.getIntegratedFlowFunction() |
TransformationFunction.Transformation<CfgTransformer,Cfg> |
LivenessIntegratedFlowFunction.interpretOrReplace(CfgNode<?> node,
Cfg graph,
AssumptionMap<CfgEdge,LivenessAssumption> assumptionMap) |
Modifier and Type | Method and Description |
---|---|
IntegratedFlowFunction<CfgNode<?>,CfgEdge,CfgTransformer,Cfg,UnreachableAssumptions> |
UnreachableAnalysis.getIntegratedFlowFunction() |
TransformationFunction.Transformation<CfgTransformer,Cfg> |
UnreachabeIntegratedTransformationFunction.interpretOrReplace(CfgNode<?> node,
Cfg graph,
AssumptionMap<CfgEdge,UnreachableAssumptions> assumptionMap) |
Copyright © 2016. All rights reserved.