Package | Description |
---|---|
Boot.MDELite | |
LectureExamples.allegory | |
Parsing.Parsers | |
PrologDB |
Modifier and Type | Method and Description |
---|---|
static void |
Shared.computeInOut(java.lang.String path,
Table arrow,
Table domain) |
Modifier and Type | Field and Description |
---|---|
Table |
PDD.childrenof_parentsof |
Table |
PDD.department |
Table |
PDD.division |
Table |
PDD.employs_worksin |
Table |
PDD.person |
Modifier and Type | Method and Description |
---|---|
protected PDD.Person |
PDD.Person.New(Table t) |
protected PDD.Department |
PDD.Department.New(Table t) |
protected PDD.Division |
PDD.Division.New(Table t) |
protected PDD.employs_worksin |
PDD.employs_worksin.New(Table t) |
protected PDD.childrenOf_parentsOf |
PDD.childrenOf_parentsOf.New(Table t) |
Constructor and Description |
---|
childrenOf_parentsOf(java.lang.String n,
Table t) |
childrenOf_parentsOf(Table t) |
Department(java.lang.String n,
Table t) |
Department(Table t) |
Division(java.lang.String n,
Table t) |
Division(Table t) |
employs_worksin(java.lang.String n,
Table t) |
employs_worksin(Table t) |
Person(java.lang.String n,
Table t) |
Person(Table t) |
Modifier and Type | Method and Description |
---|---|
static Tuple |
YumlLineParser.ParseAssociation(int lineno,
java.util.LinkedList<java.lang.String> list,
Table assoc) |
static Tuple |
YumlLineParser.ParseBox(int lineno,
java.util.LinkedList<java.lang.String> list,
Table box) |
Modifier and Type | Class and Description |
---|---|
class |
KeyedTable
currently unused Table implementation
|
Modifier and Type | Field and Description |
---|---|
java.util.LinkedList<Table> |
Table.subtables
each table has a list of its subtables; this list is initialized by
Table.getSubTables upon first reference
|
Modifier and Type | Method and Description |
---|---|
Table |
Table.add(Tuple t)
adds tuple t to 'this' table; throws error the schema of the tuple does
not match the schema of the table to which it is being added Untested
precondition: that the schema of the tuple conforms to the schema of the
table
|
Table |
Table.addTuple(java.lang.String... values)
combination of t=new Tuple(schema);t.setValues(values); table.add(t);
|
Table |
Table.addTuples(Table tab)
add tuples of table tab to 'this' table
tab must have same set of columns (name,quote)
|
Table |
Table.addTuples(Table tab,
ColumnCorrespondence cor) |
Table |
Table.antiProject(java.lang.String... colNames)
remove from (this) Table the list of column names and their values.
|
Table |
Table.antiSemiJoin(java.lang.String leftJoinCol,
Table rightTable,
java.lang.String rightJoinCol)
this is a table constructor that takes the antiSemiJoin of 'this' table on
the leftJoinCol with rightTable on the right JoinKey.
|
Table |
Table.copy(TableSchema tableSchema)
dup Table by copying each tuple and returning the copied Table.
|
Table |
Table.copyForSelfJoins(java.lang.String copyTableName)
this method copies a table t for use in self-joins; the original table t
is copied and renamed to copyTableName
|
Table |
Table.duplicates()
returns table of duplicate tuples from 'this' table
|
Table |
Table.filter(java.util.function.Predicate<Tuple> p)
return a Table from a given Table that satisfies predicate p
|
Table |
DB.getTable(java.lang.String tableName)
returns the Table object for the table with SubTableSchema tableName;
null is returned if table does not exist
|
Table |
DB.getTableEH(java.lang.String tableName)
error handler of getTable(String); return the Table object for the table
with SubTableSchema tableName; Error is thrown if no such table exists.
|
Table |
Table.intersect(Table tab)
return intersection of two tables that have the same schema
|
Table |
Table.join(java.lang.String leftJoinCol,
Table rightTable,
java.lang.String rightJoinCol)
this is a table constructor that takes the equijoin of 'this' table on the
leftJoinCol with rightTable on the rightJoinCol.
|
Table |
Tuple.join(java.lang.String leftJoinCol,
Table rightTable,
java.lang.String rightJoinCol)
this is a table constructor that takes the join of one Lefttable tuple on
the leftJoinCol with rightTable on the rightJoinCol.
|
Table |
Table.leftOuterJoin(java.lang.String leftJoinCol,
Table rightTable,
java.lang.String rightJoinCol)
takes the leftOuterJoin of 'this' table on the leftJoinCol with rightTable
on the rightJoinCol.
|
static Table |
Constraints.makeCycleTable() |
Table |
Table.project(java.util.List<Column> cols)
project Table to a list of cols
|
Table |
Table.project(java.lang.String... colNames)
project Table to an array of column names.
|
Table |
Table.project(TableSchema subTableSchema)
projects a Table to the subset of columns of a sub table schema.
|
static Table |
Table.readTable(java.lang.String tableFilePath)
reads and parses a prolog table from given string filename.
|
Table |
Table.rightSemiJoin(java.lang.String leftJoinCol,
Table rightTable,
java.lang.String rightJoinCol)
this is a table constructor that takes the rightSemiJoin of 'this' table on
the leftJoinCol with rightTable on the right JoinKey.
|
Table |
Tuple.rightSemiJoin(java.lang.String leftJoinCol,
Table rightTable,
java.lang.String rightJoinCol)
this takes the RightSemiJoin of 'this' left tuple on the leftJoinCol with
rightTable on the rightJoinCol.
|
Table |
Table.semiJoin(java.lang.String leftJoinCol,
Table rightTable,
java.lang.String rightJoinCol)
this is a table constructor that takes the leftSemiJoin of 'this' table on the
leftJoinCol with rightTable on the right JoinKey.
|
Table |
Table.sort(java.lang.String columnName,
boolean updateInputTable)
sort 'this' Table on column with columnName
|
Table |
TupleList.toTable(Table tab) |
Table |
Table.unique()
eliminates duplicate tuples from 'this' table producing new table
|
Modifier and Type | Method and Description |
---|---|
java.util.function.Function<TupleList,Table> |
toTable.finisher() |
java.util.List<Table> |
Table.getSubTables()
returns list of table + its subtables to search note: this method is
really executed once.
|
java.util.Collection<Table> |
DB.getTables()
returns a collection of tables that define this database
|
java.util.stream.Stream<Table> |
Table.groupBy(java.lang.String columnName)
group 'this' table into a stream of tables; each "sub"table will have
tuples with the same columnName value
|
Modifier and Type | Method and Description |
---|---|
Table |
Table.addTuples(Table tab)
add tuples of table tab to 'this' table
tab must have same set of columns (name,quote)
|
Table |
Table.addTuples(Table tab,
ColumnCorrespondence cor) |
Table |
Table.antiSemiJoin(java.lang.String leftJoinCol,
Table rightTable,
java.lang.String rightJoinCol)
this is a table constructor that takes the antiSemiJoin of 'this' table on
the leftJoinCol with rightTable on the right JoinKey.
|
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
|
boolean |
Table.equals(Table table)
does 'this' table contain the same set of tuples as the given table?
tables must be of the same schema
|
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
|
boolean |
Tuple.in(Table table)
is 'this' tuple in the given table?
|
Table |
Table.intersect(Table tab)
return intersection of two tables that have the same schema
|
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
|
Table |
Table.join(java.lang.String leftJoinCol,
Table rightTable,
java.lang.String rightJoinCol)
this is a table constructor that takes the equijoin of 'this' table on the
leftJoinCol with rightTable on the rightJoinCol.
|
Table |
Tuple.join(java.lang.String leftJoinCol,
Table rightTable,
java.lang.String rightJoinCol)
this is a table constructor that takes the join of one Lefttable tuple on
the leftJoinCol with rightTable on the rightJoinCol.
|
boolean |
Tuple.joinExists(java.lang.String leftJoinCol,
Table rightTable,
java.lang.String rightJoinCol)
returns true if there exists a tuple that satisfies "this".thisJoinkey ==
rightTable.rightJoinCol; returns false otherwise
|
Tuple |
Tuple.joinFirst(java.lang.String leftJoinCol,
Table rightTable,
java.lang.String rightJoinCol)
returns the first tuple of rightTable that joins with 'this', where
"this".thisJoinkey == rightTable.rightJoinCol; returns null otherwise;
technically this is a rightSemiJoinFirst operation
|
Tuple |
Tuple.joinFirstEH(java.lang.String thisJoinKey,
Table otherTable,
java.lang.String otherJoinKey)
same as joinFirst, except an Error is thrown if no tuple of otherTable is
found.
|
Table |
Table.leftOuterJoin(java.lang.String leftJoinCol,
Table rightTable,
java.lang.String rightJoinCol)
takes the leftOuterJoin of 'this' table on the leftJoinCol with rightTable
on the rightJoinCol.
|
boolean |
Tuple.notIn(Table table)
is 'this' tuple NOT in the given table?
|
Table |
Table.rightSemiJoin(java.lang.String leftJoinCol,
Table rightTable,
java.lang.String rightJoinCol)
this is a table constructor that takes the rightSemiJoin of 'this' table on
the leftJoinCol with rightTable on the right JoinKey.
|
Table |
Tuple.rightSemiJoin(java.lang.String leftJoinCol,
Table rightTable,
java.lang.String rightJoinCol)
this takes the RightSemiJoin of 'this' left tuple on the leftJoinCol with
rightTable on the rightJoinCol.
|
Table |
Table.semiJoin(java.lang.String leftJoinCol,
Table rightTable,
java.lang.String rightJoinCol)
this is a table constructor that takes the leftSemiJoin of 'this' table on the
leftJoinCol with rightTable on the right JoinKey.
|
Table |
TupleList.toTable(Table tab) |
static void |
Constraints.UniqueId(Table t,
ErrorReport er)
verify that all rows in table t have unique Ids
|
Modifier and Type | Method and Description |
---|---|
<S> S |
Table.map(java.util.function.Function<Table,S> f)
transform a table to an object of type S
|
Constructor and Description |
---|
Table(Table table)
create an empty table using the schema of the given table
|
Table(Table table,
TupleList tl)
create an empty table using the schema of the given table
|
toTable(Table t)
create table accumulator/collector with schema of given table
|
Tuple(Table table)
create an empty tuple for the given table
|
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.
|