本文整理汇总了Java中gov.nasa.jpf.Config.getLong方法的典型用法代码示例。如果您正苦于以下问题：Java Config.getLong方法的具体用法？Java Config.getLong怎么用？Java Config.getLong使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类gov.nasa.jpf.Config的用法示例。
在下文中一共展示了Config.getLong方法的4个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: BudgetChecker
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
public BudgetChecker (Config conf, JPF jpf) {
//--- get the configured budget limits (0 means not set)
maxTime = conf.getDuration("budget.max_time", 0);
maxHeap = conf.getMemorySize("budget.max_heap", 0);
maxDepth = conf.getInt("budget.max_depth", 0);
maxInsn = conf.getLong("budget.max_insn", 0);
maxState = conf.getInt("budget.max_state", 0);
maxNewStates = conf.getInt("budget.max_new_states", 0);
tStart = System.currentTimeMillis();
if (maxHeap > 0) {
mxb = ManagementFactory.getMemoryMXBean();
muStart = mxb.getHeapMemoryUsage();
mStart = muStart.getUsed();
}
search = jpf.getSearch();
vm = jpf.getVM();
}
示例2: RandomIntIntervalGenerator
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
public RandomIntIntervalGenerator(Config conf, String id) {
super(id);
min = conf.getInt(id + ".min");
max = conf.getInt(id + ".max");
nChoices = conf.getInt(id + ".n", 1);
seed = conf.getLong(id + ".seed", 1);
range = max - min;
random = new Random(seed);
}
示例3: init
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
public static void init(Config config) {
randomization = config.getEnum("cg.randomize_choices",
ChoiceRandomizationPolicy.values(), ChoiceRandomizationPolicy.NONE);
// if the randomize_choices is set to random then we need to
// pick the seed based on the system time.
if (randomization == ChoiceRandomizationPolicy.VAR_SEED) {
random.setSeed(System.currentTimeMillis());
} else if (randomization == ChoiceRandomizationPolicy.FIXED_SEED){
long seed = config.getLong("cg.seed", 42);
random.setSeed( seed);
}
}
示例4: JPF_java_util_Random
import gov.nasa.jpf.Config; //导入方法依赖的package包/类
public JPF_java_util_Random (Config conf) {
setEnumerateRandom(conf);
conf.addChangeListener(new ConfigListener(this));
reproducibleRandom = conf.getBoolean("vm.reproducible_random", true);
constantSeed = conf.getLong("vm.random_seed", 42);
defaultIntSet = conf.getIntArray("vm.random_ints", Integer.MIN_VALUE, 0, Integer.MAX_VALUE);
defaultDoubleSet = conf.getDoubleArray("vm.random_doubles", Double.MIN_VALUE, 0, Double.MAX_VALUE);
defaultLongSet = conf.getLongArray("vm.random_longs", Long.MIN_VALUE, 0, Long.MAX_VALUE);
defaultFloatSet = conf.getFloatArray("vm.random_floats", Float.MIN_VALUE, 0, Float.MAX_VALUE);
}