public class Constraints
extends java.lang.Object
| Constructor and Description |
|---|
Constraints() |
| Modifier and Type | Method and Description |
|---|---|
static void |
cycleCheck(Table t,
ErrorReport er)
determines if there are cycles in a cycle table (par,chd), where par =
parent id, and chd = child id
|
static void |
findBad(Table t,
java.util.function.Predicate<Tuple> ifpred,
java.lang.String expl,
ErrorReport er)
findBad -- find all tuples in table t that do NOT satisfy ifpred
|
static void |
iftest(Table t,
java.util.function.Predicate<Tuple> ifpred,
java.lang.String expl,
ErrorReport er)
ifpred -- then error
|
static void |
implies(Table t,
java.util.function.Predicate<Tuple> ifpred,
java.util.function.Predicate<Tuple> thenpred,
java.lang.String expl,
ErrorReport er)
implies: ifpred implies thenpred; violations are reported in error
reporter
|
static void |
isLegit(Table t,
java.lang.String column2r,
Table r,
java.lang.String columnrid,
ErrorReport er)
ensure that t.column2r points to a legit row in r.columnrid, er is error
reporter
|
static void |
isLegit(Table t,
java.lang.String column2r,
Table r,
java.lang.String columnrid,
ErrorReport er,
java.util.function.Function<Tuple,java.lang.String> emsg) |
static void |
isUnique(Table t,
java.lang.String column,
ErrorReport er)
verify that all rows in table t have column with unique values
|
static Table |
makeCycleTable() |
static void |
UniqueId(Table t,
ErrorReport er)
verify that all rows in table t have unique Ids
|
public static void isUnique(Table t, java.lang.String column, ErrorReport er)
t - tablecolumn - name of column that is uniqueer - error reporterpublic static void UniqueId(Table t, ErrorReport er)
t - tableer - error reporterpublic static void isLegit(Table t, java.lang.String column2r, Table r, java.lang.String columnrid, ErrorReport er)
t - table with foreign keycolumn2r - column with foreign keyr - table that is referencedcolumnrid - column that is referenced in rer - error reporterpublic static void isLegit(Table t, java.lang.String column2r, Table r, java.lang.String columnrid, ErrorReport er, java.util.function.Function<Tuple,java.lang.String> emsg)
public static void implies(Table t, java.util.function.Predicate<Tuple> ifpred, java.util.function.Predicate<Tuple> thenpred, java.lang.String expl, ErrorReport er)
t - tableifpred - "if" predicate truethenpred - "then" predicate that must be true (otherwise violation)expl - -- String explanation "%s(%s...) has ...violated" where
...violated is filled iner - -- error reporterpublic static void iftest(Table t, java.util.function.Predicate<Tuple> ifpred, java.lang.String expl, ErrorReport er)
t - tableifpred - "if" predicate true (then violation)expl - -- String explanation "tuple id=%s in %s: ... violated" where
... is filled iner - -- error reporterpublic static void findBad(Table t, java.util.function.Predicate<Tuple> ifpred, java.lang.String expl, ErrorReport er)
t - tableifpred - "if" predicate is false then violationexpl - -- String explanation "tuple id=%s in %s: ... violated" where
... is filled iner - -- error reporterpublic static Table makeCycleTable()
public static void cycleCheck(Table t, ErrorReport er)
t - (par,chd) tableer - error reporter to collect errors