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