org.eclipse.emf.henshin.statespace.external.prism
Class PRISMUtil.Range

java.lang.Object
  org.eclipse.emf.henshin.statespace.external.prism.PRISMUtil.Range

Enclosing class:

PRISMUtil

public static class PRISMUtil.Range
extends Object

Data class for ranges (and constants).

Field Summary

double	max
double	min
double	step

Constructor Summary

PRISMUtil.Range(double constant)

PRISMUtil.Range(double min, double step, double max)

PRISMUtil.Range(String value)

Method Summary

boolean	isConstant()
static boolean	isRange(String value)
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

min

public double min

step

public double step

max

public double max

Constructor Detail

PRISMUtil.Range

public PRISMUtil.Range(double min,
                       double step,
                       double max)

PRISMUtil.Range

public PRISMUtil.Range(double constant)

PRISMUtil.Range

public PRISMUtil.Range(String value)
                throws ParseException

Throws:

ParseException

Method Detail

isConstant

public boolean isConstant()

toString

public String toString()

Overrides:

toString in class Object

isRange

public static boolean isRange(String value)