|
Siena (v.1.5.5) API documentation | |||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectsiena.Covering
public class Covering
implementation of the covering relations.
Covering
implements the covering relations that
determine the semantics of Siena. This class is used
internally by the implementation of Siena. However, it is also
provided as a public class in the siena package for convenience.
Constructor Summary | |
---|---|
Covering()
|
Method Summary | |
---|---|
static boolean |
apply_operator(short op,
AttributeValue x,
AttributeValue y)
semantics of operators in filters. |
static boolean |
apply(AttributeConstraint ac,
AttributeValue av)
|
static boolean |
apply(Filter f,
Notification e)
semantics of subscriptions |
static boolean |
covers(AttributeConstraint af1,
AttributeConstraint af2)
covering between two attribute constraints. |
static boolean |
covers(Filter f1,
Filter f2)
covering relation between two filters. |
static boolean |
covers(Pattern p1,
Pattern p2)
covering relation between two patterns. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public Covering()
Method Detail |
---|
public static boolean apply_operator(short op, AttributeValue x, AttributeValue y)
apply_operator(op, x, y)
is equivalent to x
op y
public static boolean covers(AttributeConstraint af1, AttributeConstraint af2)
af1
defines a set of attribute
values Saf1 that contains the set of
attribute values Saf2 defined by
af2
, in other words true iff af2 ==>
af1, i.e., for every AttributeValue
x: x op2 f2 ==> x op1 f1 where op2
is the operator defined by af2 and f2 is the value
defined by af2. Same thing for af1.
public static boolean apply(AttributeConstraint ac, AttributeValue av)
public static boolean apply(Filter f, Notification e)
public static boolean covers(Filter f1, Filter f2)
public static boolean covers(Pattern p1, Pattern p2)
|
Siena (v.1.5.5) API documentation | |||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |