dk.brics.tajs.lattice

Class Restriction

java.lang.Object

dk.brics.tajs.lattice.Restriction

public class Restriction
extends java.lang.Object

Represention of a value restriction.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Restriction.Kind

Constructor Summary

Constructors

Constructor and Description
Restriction(Restriction.Kind kind) Constructs a new restriction object of the given kind.

Method Summary

Modifier and Type	Method and Description
Restriction.Kind	getKind()
Restriction	negate() Returns the negated restriction, or null if not supported.
Value	restrict(Value v) Restricts the value according to this restriction.
Restriction	set(Value v) Sets the value (only for Restriction.Kind.STRICT_EQUAL, Restriction.Kind.STRICT_NOT_EQUAL Restriction.Kind.LOOSE_EQUAL, and Restriction.Kind.LOOSE_NOT_EQUAL).
static Restriction	typeofToRestriction(java.lang.String s)

Methods inherited from class java.lang.Object

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

Constructor Detail

Restriction

public Restriction(Restriction.Kind kind)

Constructs a new restriction object of the given kind.

Method Detail

getKind

public Restriction.Kind getKind()

negate

public Restriction negate()

Returns the negated restriction, or null if not supported.

restrict

public Value restrict(Value v)

Restricts the value according to this restriction.

set

public Restriction set(Value v)

Sets the value (only for Restriction.Kind.STRICT_EQUAL, Restriction.Kind.STRICT_NOT_EQUAL Restriction.Kind.LOOSE_EQUAL, and Restriction.Kind.LOOSE_NOT_EQUAL).

typeofToRestriction

public static Restriction typeofToRestriction(java.lang.String s)