de.rwth.i2.attestor.markingGeneration

Class Markings

java.lang.Object

de.rwth.i2.attestor.markingGeneration.Markings

public class Markings
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static String	MARKING_PREFIX
static String	MARKING_SEPARATOR

Constructor Summary

Constructors

Constructor and Description
Markings()

Method Summary

Modifier and Type	Method and Description
static boolean	isComposedMarking(String variableName)
static boolean	isMarking(String variableName)

Methods inherited from class java.lang.Object

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

Field Detail

MARKING_SEPARATOR

public static final String MARKING_SEPARATOR

See Also:

Constant Field Values

MARKING_PREFIX

public static final String MARKING_PREFIX

See Also:

Constant Field Values

Constructor Detail

Markings

public Markings()

Method Detail

isMarking

public static boolean isMarking(String variableName)

isComposedMarking

public static boolean isComposedMarking(String variableName)