gov.nasa.jpf.vm.choice

Class DoubleSpec

java.lang.Object

gov.nasa.jpf.vm.choice.DoubleSpec

public class DoubleSpec
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
DoubleSpec()

Method Summary

Modifier and Type	Method and Description
static double	eval(java.lang.String spec) return double from String spec, which can be either a literal or a local variable name, or a field name
static double	resolveVar(java.lang.String spec)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DoubleSpec

public DoubleSpec()

Method Detail

eval

public static double eval(java.lang.String spec)

return double from String spec, which can be either a literal or a local variable name, or a field name

resolveVar

public static double resolveVar(java.lang.String spec)