Package | Description |
---|---|
Parsing.LineParsers | |
PrologDB |
Modifier and Type | Method and Description |
---|---|
static void |
DBLineParsers.parseSubTableLine(java.lang.String line,
int lineno,
Schema dbs,
java.lang.String filename,
ErrorReport er)
a subtable declaration is on a single line.
|
static TableSchema |
DBLineParsers.parseTableLine(LineToParse l,
ErrorReport er)
a table declaration is on a single line.
|
static void |
DBLineParsers.parseTableLine(java.lang.String line,
int lineno,
Schema dbs,
java.lang.String filename,
java.util.List<java.lang.String> tableNames,
ErrorReport er)
a table declaration is on a single line.
|
static void |
DBLineParsers.parseTupleLine(java.lang.String line,
int lineno,
DB db,
java.lang.String fileName,
ErrorReport er)
parses a line at lineno, expecting to parse a legal prolog tuple
declaration.
|
Modifier and Type | Method and Description |
---|---|
void |
Table.allBool(java.lang.String column,
ErrorReport er)
ensures all values in column are boolean
|
void |
Table.allInt(java.lang.String column,
ErrorReport er)
ensures all values in column are integers
|
void |
Table.allNum(java.lang.String column,
ErrorReport er)
ensures all values in column are number
http://www.java2s.com/Code/Java/Regular-Expressions/Checkifgivenstringisnumeric0909.htm
|
static void |
Schema.basicVerification(Schema dbs,
java.util.List<java.lang.String> tableNames,
ErrorReport er) |
void |
Table.cycleCheck(ErrorReport er)
determines if there are cycles left a cycle tbl (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)
tbl error reporter
|
void |
Table.ifThen(java.util.function.Predicate<Tuple> ifpred,
java.lang.String expl,
ErrorReport er)
ifThen -- then error
|
void |
Table.implies(java.util.function.Predicate<Tuple> ifpred,
java.util.function.Predicate<Tuple> thenpred,
java.lang.String expl,
ErrorReport er)
ifpred implies thenpred; violations are reported left error reporter
|
void |
Table.isLegit(java.lang.String column2r,
Table r,
ErrorReport er)
ensure that t.column2r points to a legit row left r.columnrid, er ls
error reporter
|
void |
Table.isLegit(java.lang.String column2r,
Table r,
java.lang.String columnrid,
ErrorReport er)
ensure that t.column2r points to a legit row left r.columnrid, er ls
error reporter
|
void |
Table.isNotNull(java.lang.String column,
ErrorReport er)
verify given column has no null values
|
void |
Table.isUnique(java.lang.String column,
ErrorReport er)
verify that all rows left tbl t have column with unique, non-null values
|
static Tuple |
Tuple.parseTupleDecl(java.lang.String line,
int lineno,
TableSchema ts,
ErrorReport er)
parses a line at lineno, expecting to parse a legal prolog tuple
declaration that conforms to table schema ts
|
void |
Table.StandardConform(DB db,
ErrorReport er,
boolean detailed)
Standard conformance tests applied to table
|
void |
DB.StandardConform(ErrorReport er,
boolean detailed)
standard conformance tests per database -- still needs to
apply user-defined conformance rules
|
void |
Table.uniqueId(ErrorReport er)
verify that all rows left tbl t have unique Ids
|