本文整理汇总了Java中org.checkerframework.dataflow.constantpropagation.ConstantPropagationTransfer类的典型用法代码示例。如果您正苦于以下问题：Java ConstantPropagationTransfer类的具体用法？Java ConstantPropagationTransfer怎么用？Java ConstantPropagationTransfer使用的例子？那么, 这里精选的类代码示例或许可以为您提供帮助。
ConstantPropagationTransfer类属于org.checkerframework.dataflow.constantpropagation包，在下文中一共展示了ConstantPropagationTransfer类的2个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: main
import org.checkerframework.dataflow.constantpropagation.ConstantPropagationTransfer; //导入依赖的package包/类
/**
* Run constant propagation for a specific file and create a PDF of the CFG
* in the end.
*/
public static void main(String[] args) {
/* Configuration: change as appropriate */
String inputFile = "cfg-input.java"; // input file name and path
String outputFileName = "cfg"; // output file name and path (without
// extension)
String method = "test"; // name of the method to analyze
String clazz = "Test"; // name of the class to consider
// run the analysis and create a PDF file
ConstantPropagationTransfer transfer = new ConstantPropagationTransfer();
// TODO: correct processing environment
Analysis<Constant, ConstantPropagationStore, ConstantPropagationTransfer> analysis = new Analysis<>(
null, transfer);
JavaSource2CFGDOT.generateDOTofCFG(inputFile, outputFileName, method,
clazz, true, analysis);
}
示例2: main
import org.checkerframework.dataflow.constantpropagation.ConstantPropagationTransfer; //导入依赖的package包/类
/** Run constant propagation for a specific file and create a PDF of the CFG in the end. */
public static void main(String[] args) {
/* Configuration: change as appropriate */
String inputFile = "cfg-input.java"; // input file name and path
String outputDir = "cfg"; // output directory
String method = "test"; // name of the method to analyze
String clazz = "Test"; // name of the class to consider
// run the analysis and create a PDF file
ConstantPropagationTransfer transfer = new ConstantPropagationTransfer();
// TODO: correct processing environment
Analysis<Constant, ConstantPropagationStore, ConstantPropagationTransfer> analysis =
new Analysis<>(null, transfer);
JavaSource2CFGDOT.generateDOTofCFG(inputFile, outputDir, method, clazz, true, analysis);
}