de.rwth.i2.attestor.grammar.materialization.util

Class ViolationPoints

java.lang.Object

de.rwth.i2.attestor.grammar.materialization.util.ViolationPoints

public class ViolationPoints
extends Object

A set of violation points. Violation points are pairs of variables and selectors that indicate a missing selector that has to be obtained through materialization.

Author:

Christoph

Constructor Summary

Constructors

Constructor and Description
ViolationPoints() Creates a new empty set of violation points.
ViolationPoints(String variable, String selector) Creates a set of violation points that containsSubsumingState a single violation point.

Method Summary

Modifier and Type	Method and Description
void	add(String variable, String selector) Adds another violation point.
void	addAll(ViolationPoints vio) Add all violation points to this set of violation points.
static ViolationPoints	getEmptyViolationPoints()
Set<String>	getSelectorsOf(String variable)
Set<String>	getVariables()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

ViolationPoints

public ViolationPoints()

Creates a new empty set of violation points.

ViolationPoints

public ViolationPoints(String variable,
                       String selector)

Creates a set of violation points that containsSubsumingState a single violation point.

Parameters:

variable - The name of the variable that makes up a violation point.

selector - The name of the selector that makes up a violation point.

Method Detail

getEmptyViolationPoints

public static ViolationPoints getEmptyViolationPoints()

Returns:

An empty set of violation points.

add

public void add(String variable,
                String selector)

Adds another violation point.

Parameters:

variable - The name of the variable that makes up a violation point.

selector - The name of the selector that makes up a violation point.

addAll

public void addAll(ViolationPoints vio)

Add all violation points to this set of violation points.

Parameters:

vio - Another set of violation points.

getSelectorsOf

public Set<String> getSelectorsOf(String variable)

Parameters:

variable - The name of a variable.

Returns:

The selectors of all violation points that contain the given variable name.

getVariables

public Set<String> getVariables()

Returns:

The names of all variables that belong to some violation point.

toString

public String toString()

Overrides:

toString in class Object

Returns:

A String representation of this set of violation points.