Package | Description |
---|---|
PrologDB |
Modifier and Type | Method and Description |
---|---|
static void |
Constraints.cycleCheck(Table t,
ErrorReport er)
determines if there are cycles in a cycle table (par,chd), where par =
parent id, and chd = child id
|
void |
Table.error(ErrorReport er,
java.lang.String format,
java.util.function.Function<Tuple,java.lang.String>... fun)
table error reporter
|
static void |
Constraints.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 |
Constraints.iftest(Table t,
java.util.function.Predicate<Tuple> ifpred,
java.lang.String expl,
ErrorReport er)
ifpred -- then error
|
static void |
Constraints.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 |
Constraints.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 |
Constraints.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 |
Constraints.isUnique(Table t,
java.lang.String column,
ErrorReport er)
verify that all rows in table t have column with unique values
|
static void |
Constraints.UniqueId(Table t,
ErrorReport er)
verify that all rows in table t have unique Ids
|
Constructor and Description |
---|
Unique(java.lang.String column,
ErrorReport erReport) |
Unique(Table table,
java.lang.String column,
ErrorReport erReport)
create a Unique object error reporter that received tuples from
table 'table' and verifies that the 'column' of each tuple is unique and
not null.
|