Modifier and Type | Method and Description |
---|---|
ArrayList<CfgEdge> |
Cfg.getGraphInEdges()
Returns graph incoming edges.
|
ArrayList<CfgEdge> |
Cfg.getGraphOutEdges()
Returns graph outgoing edges.
|
List<CfgEdge> |
Cfg.getInEdges(CfgNode<?> cfgNode)
Returns edges coming into node.
|
List<CfgEdge> |
Cfg.getOutEdges(CfgNode<?> cfgNode)
Returns edges originating from the node.
|
Modifier and Type | Method and Description |
---|---|
void |
Cfg.addGraphInEdge(CfgEdge edge)
Add graph incoming edge.
|
void |
Cfg.addGraphOutEdge(CfgEdge edge)
Add graph outgoing edge.
|
void |
Cfg.addIn(CfgNode<?> node,
CfgEdge edge)
Add incoming edge to the node.
|
void |
Cfg.addOut(CfgNode<?> node,
CfgEdge edge)
Add outgoing edge from the node.
|
protected void |
CfgPrinter.appendEdgeInfo(StringBuilder result,
CfgEdge edge)
Template method to append arbitrary edge information.
|
protected void |
AssumptionsPrinter.appendEdgeInfo(StringBuilder result,
CfgEdge edge) |
Object |
Cfg.getEdgeData(CfgEdge edge) |
CfgNode<?> |
Cfg.getEnd(CfgEdge e)
Returns edge end node.
|
CfgNode<?> |
Cfg.getStart(CfgEdge e)
Returns edge start node.
|
void |
Cfg.setEdgeData(CfgEdge edge,
Object data) |
Modifier and Type | Method and Description |
---|---|
<A extends Assumption<A>> |
Cfg.printWithAssumptions(Map<CfgEdge,A> map)
Returns string representation of the graph with all assumptions along its
edges.
|
Constructor and Description |
---|
AssumptionsPrinter(Cfg graph,
AssumptionMap<CfgEdge,A> assumptionMap) |
AssumptionsPrinter(Cfg graph,
Map<CfgEdge,A> assumptions) |
Modifier and Type | Method and Description |
---|---|
void |
ConstantsFlowFunction.interpret(CfgNode<?> node,
Cfg graph,
AssumptionMap<CfgEdge,ConstantsAssumption> assumptionMap) |
TransformationFunction.Transformation<CfgTransformer,Cfg> |
ConstantsIntegratedFlowFunction.interpretOrReplace(CfgNode<?> node,
Cfg graph,
AssumptionMap<CfgEdge,ConstantsAssumption> assumptionMap) |
void |
ConstantsAnalysis.setInitialGraphAssumptions(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 |
---|---|
FlowFunction<CfgNode<?>,CfgEdge,Cfg,CopyAssumption> |
CopyAnalysis.getFlowFunction() |
IntegratedFlowFunction<CfgNode<?>,CfgEdge,CfgTransformer,Cfg,CopyAssumption> |
CopyAnalysis.getIntegratedFlowFunction() |
Modifier and Type | Method and Description |
---|---|
void |
CopyFlowFunction.interpret(CfgNode<?> node,
Cfg g,
AssumptionMap<CfgEdge,CopyAssumption> assumptionMap) |
TransformationFunction.Transformation<CfgTransformer,Cfg> |
CopyIntegratedFlowFunction.interpretOrReplace(CfgNode<?> node,
Cfg graph,
AssumptionMap<CfgEdge,CopyAssumption> assumptionMap) |
void |
CopyAnalysis.setInitialGraphAssumptions(Cfg graph,
AssumptionMap<CfgEdge,CopyAssumption> assumptionMap) |
Modifier and Type | Method and Description |
---|---|
FlowFunction<CfgNode<?>,CfgEdge,Cfg,LivenessAssumption> |
LivenessAnalysis.getFlowFunction() |
IntegratedFlowFunction<CfgNode<?>,CfgEdge,CfgTransformer,Cfg,LivenessAssumption> |
LivenessAnalysis.getIntegratedFlowFunction() |
Modifier and Type | Method and Description |
---|---|
void |
LivenessFlowFunction.interpret(CfgNode<?> node,
Cfg g,
AssumptionMap<CfgEdge,LivenessAssumption> assumptionMap) |
TransformationFunction.Transformation<CfgTransformer,Cfg> |
LivenessIntegratedFlowFunction.interpretOrReplace(CfgNode<?> node,
Cfg graph,
AssumptionMap<CfgEdge,LivenessAssumption> assumptionMap) |
void |
LivenessAnalysis.setInitialGraphAssumptions(Cfg graph,
AssumptionMap<CfgEdge,LivenessAssumption> assumptionMap) |
Modifier and Type | Method and Description |
---|---|
IntegratedFlowFunction<CfgNode<?>,CfgEdge,CfgTransformer,Cfg,UnreachableAssumptions> |
UnreachableAnalysis.getIntegratedFlowFunction() |
Modifier and Type | Method and Description |
---|---|
TransformationFunction.Transformation<CfgTransformer,Cfg> |
UnreachabeIntegratedTransformationFunction.interpretOrReplace(CfgNode<?> node,
Cfg graph,
AssumptionMap<CfgEdge,UnreachableAssumptions> assumptionMap) |
void |
UnreachableAnalysis.setInitialGraphAssumptions(Cfg graph,
AssumptionMap<CfgEdge,UnreachableAssumptions> assumptionMap) |
Copyright © 2018. All rights reserved.