Replication

Wlc module

MODULE wlc;

PATTERN wlc.action(X_0:str):void;
COMMENT "Keep the database changing queries for replay.";

PATTERN wlc.alter_add_range_partition(X_0:str, X_1:str, X_2:str, X_3:str, X_4:str, X_5:str, X_6:bit, X_7:int):void;
COMMENT "Catalog operation alter_add_range_partition";

PATTERN wlc.alter_add_table(X_0:str, X_1:str, X_2:str, X_3:str, X_4:int):void;
COMMENT "Catalog operation alter_add_table";

PATTERN wlc.alter_add_value_partition(X_0:str, X_1:str, X_2:str, X_3:str, X_4:bit, X_5:int):void;
COMMENT "Catalog operation alter_add_value_partition";

PATTERN wlc.alter_add_value_partition(X_0:str, X_1:str, X_2:str, X_3:str, X_4:bit, X_5:int, X_6:str...):void;
COMMENT "Catalog operation alter_add_value_partition";

PATTERN wlc.alter_del_table(X_0:str, X_1:str, X_2:str, X_3:str, X_4:int):void;
COMMENT "Catalog operation alter_del_table";

PATTERN wlc.alter_seq(X_0:str, X_1:str, X_2:lng):void;
COMMENT "Catalog operation alter_seq";

PATTERN wlc.alter_seq(X_0:str, X_1:str, X_2:ptr, X_3:bat[:lng]):void;
COMMENT "Catalog operation alter_seq";

PATTERN wlc.alter_set_table(X_0:str, X_1:str, X_2:int):void;
COMMENT "Catalog operation alter_set_table";

PATTERN wlc.alter_table(X_0:str, X_1:str, X_2:int):void;
COMMENT "Catalog operation alter_table";

PATTERN wlc.alter_user(X_0:str, X_1:str, X_2:int, X_3:str, X_4:str):void;
COMMENT "Catalog operation alter_user";

PATTERN wlc.append(X_0:str, X_1:str, X_2:str, X_3:any):int;
COMMENT "Keep the insertions in the workload-capture-replay list";

PATTERN wlc.catalog(X_0:str):void;
COMMENT "Keep the catalog changing queries for replay.";

PATTERN wlc.clear_table(X_0:str, X_1:str, X_2:int):int;
COMMENT "Keep the deletions in the workload-capture-replay list";

PATTERN wlc.comment_on(X_0:int, X_1:str):void;
COMMENT "Catalog operation comment_on";

PATTERN wlc.commit():void;
COMMENT "Commit the workload-capture-replay record";

PATTERN wlc.commit():void;
COMMENT "Mark the end of the work unit";

PATTERN wlc.create_function(X_0:str, X_1:str, X_2:int):void;
COMMENT "Catalog operation create_function";

PATTERN wlc.create_role(X_0:str, X_1:str, X_2:int):void;
COMMENT "Catalog operation create_role";

PATTERN wlc.create_schema(X_0:str, X_1:str, X_2:int):void;
COMMENT "Catalog operation create_schema";

PATTERN wlc.create_seq(X_0:str, X_1:str, X_2:int):void;
COMMENT "Catalog operation create_seq";

PATTERN wlc.create_table(X_0:str, X_1:str, X_2:int):void;
COMMENT "Catalog operation create_table";

PATTERN wlc.create_trigger(X_0:str, X_1:str, X_2:str, X_3:int, X_4:int, X_5:int, X_6:str, X_7:str, X_8:str, X_9:str, X_10:int):void;
COMMENT "Catalog operation create_trigger";

PATTERN wlc.create_type(X_0:str, X_1:str, X_2:str):void;
COMMENT "Catalog operation create_type";

PATTERN wlc.create_user(X_0:str, X_1:str, X_2:int, X_3:str, X_4:str):void;
COMMENT "Catalog operation create_user";

PATTERN wlc.create_view(X_0:str, X_1:str, X_2:int, X_3:int):void;
COMMENT "Catalog operation create_view";

PATTERN wlc.delete(X_0:str, X_1:str, X_2:any):int;
COMMENT "Keep the deletions in the workload-capture-replay list";

PATTERN wlc.drop_constraint(X_0:str, X_1:str, X_2:str, X_3:int, X_4:int):void;
COMMENT "Catalog operation drop_constraint";

PATTERN wlc.drop_function(X_0:str, X_1:str, X_2:int, X_3:int, X_4:int):void;
COMMENT "Catalog operation drop_function";

PATTERN wlc.drop_index(X_0:str, X_1:str, X_2:int):void;
COMMENT "Catalog operation drop_index";

PATTERN wlc.drop_role(X_0:str, X_1:int):void;
COMMENT "Catalog operation drop_role";

PATTERN wlc.drop_role(X_0:str, X_1:str, X_2:int):void;
COMMENT "Catalog operation drop_role";

PATTERN wlc.drop_schema(X_0:str, X_1:int, X_2:int):void;
COMMENT "Catalog operation drop_schema";

PATTERN wlc.drop_seq(X_0:str, X_1:str, X_2:int):void;
COMMENT "Catalog operation drop_seq";

PATTERN wlc.drop_table(X_0:str, X_1:str, X_2:int, X_3:int):void;
COMMENT "Catalog operation drop_table";

PATTERN wlc.drop_trigger(X_0:str, X_1:str, X_2:int):void;
COMMENT "Catalog operation drop_trigger";

PATTERN wlc.drop_type(X_0:str, X_1:str, X_2:int):void;
COMMENT "Catalog operation drop_type";

PATTERN wlc.drop_user(X_0:str, X_1:int):void;
COMMENT "Catalog operation drop_user";

PATTERN wlc.drop_user(X_0:str, X_1:str, X_2:int):void;
COMMENT "Catalog operation drop_user";

PATTERN wlc.drop_view(X_0:str, X_1:str, X_2:int, X_3:int):void;
COMMENT "Catalog operation drop_view";

COMMAND wlc.epilogue():void;
COMMENT "release the resources held by the wlc module";

UNSAFE PATTERN wlc.flush():void;
COMMENT "Flush current log buffer";

PATTERN wlc.getbeat(X_0:int):str;
COMMENT "Maximal delay for transaction log flushing";

PATTERN wlc.getclock():str;
COMMENT "Timestamp of last update transaction";

PATTERN wlc.gettick():lng;
COMMENT "Transaction identifier of the last committed transaction";

PATTERN wlc.grant(X_0:str, X_1:str, X_2:str, X_3:int, X_4:str, X_5:int, X_6:int):void;
COMMENT "Catalog operation grant";

PATTERN wlc.grant_function(X_0:str, X_1:int, X_2:str, X_3:int, X_4:int, X_5:int):void;
COMMENT "Catalog operation grant_function";

PATTERN wlc.grant_roles(X_0:str, X_1:str, X_2:int, X_3:int):void;
COMMENT "Catalog operation grant_roles";

PATTERN wlc.init():void;
COMMENT "Test for running as master";

UNSAFE PATTERN wlc.master():void;
COMMENT "Activate the workload-capture-replay process";

UNSAFE PATTERN wlc.master(X_0:str):void;
COMMENT "Activate the workload-capture-replay process. Use a different location for the logs.";

PATTERN wlc.query(X_0:str):void;
COMMENT "Keep the queries for replay.";

PATTERN wlc.rename_column(X_0:str, X_1:str, X_2:str, X_3:str):void;
COMMENT "Catalog operation rename_column";

PATTERN wlc.rename_schema(X_0:str, X_1:str):void;
COMMENT "Catalog operation rename_schema";

PATTERN wlc.rename_table(X_0:str, X_1:str, X_2:str, X_3:str):void;
COMMENT "Catalog operation rename_table";

PATTERN wlc.rename_user(X_0:str, X_1:str, X_2:int):void;
COMMENT "Catalog operation rename_user";

PATTERN wlc.revoke(X_0:str, X_1:str, X_2:str, X_3:int, X_4:str, X_5:int, X_6:int):void;
COMMENT "Catalog operation revoke";

PATTERN wlc.revoke_function(X_0:str, X_1:int, X_2:str, X_3:int, X_4:int, X_5:int):void;
COMMENT "Catalog operation revoke_function";

PATTERN wlc.revoke_roles(X_0:str, X_1:str, X_2:int, X_3:int):void;
COMMENT "Catalog operation revoke_roles";

PATTERN wlc.rollback():void;
COMMENT "Rollback the workload-capture-replay record";

PATTERN wlc.rollback():void;
COMMENT "Mark the end of the work unit";

UNSAFE PATTERN wlc.setbeat(X_0:int):void;
COMMENT "Maximal delay for transaction log flushing";

UNSAFE PATTERN wlc.stop():void;
COMMENT "Stop capturing the logs";

UNSAFE PATTERN wlc.transaction():void;
COMMENT "Start an autocommit transaction";

PATTERN wlc.transaction_begin(X_0:int, X_1:str):void;
COMMENT "A transaction statement (type can be commit,release,rollback or start)";

PATTERN wlc.transaction_commit(X_0:int, X_1:str):void;
COMMENT "A transaction statement (type can be commit,release,rollback or start)";

PATTERN wlc.transaction_release(X_0:int, X_1:str):void;
COMMENT "A transaction statement (type can be commit,release,rollback or start)";

PATTERN wlc.transaction_rollback(X_0:int, X_1:str):void;
COMMENT "A transaction statement (type can be commit,release,rollback or start)";

PATTERN wlc.update(X_0:str, X_1:str, X_2:str, X_3:any, X_4:any):int;
COMMENT "Keep the update in the workload-capture-replay list";

Wlr module

MODULE wlr;

UNSAFE PATTERN wlr.accept():void;
COMMENT "Accept failing transaction";

PATTERN wlr.action(X_0:str):void;
COMMENT "A query producing updates";

PATTERN wlr.alter_add_range_partition(X_0:str, X_1:str, X_2:str, X_3:str, X_4:str, X_5:str, X_6:bit, X_7:int):void;
COMMENT "Catalog operation alter_add_range_partition";

PATTERN wlr.alter_add_table(X_0:str, X_1:str, X_2:str, X_3:str, X_4:int):void;
COMMENT "Catalog operation alter_add_table";

PATTERN wlr.alter_add_value_partition(X_0:str, X_1:str, X_2:str, X_3:str, X_4:bit, X_5:int):void;
COMMENT "Catalog operation alter_add_value_partition";

PATTERN wlr.alter_add_value_partition(X_0:str, X_1:str, X_2:str, X_3:str, X_4:bit, X_5:int, X_6:str...):void;
COMMENT "Catalog operation alter_add_value_partition";

PATTERN wlr.alter_del_table(X_0:str, X_1:str, X_2:str, X_3:str, X_4:int):void;
COMMENT "Catalog operation alter_del_table";

PATTERN wlr.alter_seq(X_0:str, X_1:str, X_2:lng):void;
COMMENT "Catalog operation alter_seq";

PATTERN wlr.alter_seq(X_0:str, X_1:str, X_2:ptr, X_3:bat[:lng]):void;
COMMENT "Catalog operation alter_seq";

PATTERN wlr.alter_set_table(X_0:str, X_1:str, X_2:int):void;
COMMENT "Catalog operation alter_set_table";

PATTERN wlr.alter_table(X_0:str, X_1:str, X_2:int):void;
COMMENT "Catalog operation alter_table";

PATTERN wlr.alter_user(X_0:str, X_1:str, X_2:int, X_3:str, X_4:str):void;
COMMENT "Catalog operation alter_user";

PATTERN wlr.append(X_0:str, X_1:str, X_2:str, X_3:oid, X_4:bat[:oid], X_5:any...):int;
COMMENT "Apply the insertions in the workload-capture-replay list";

PATTERN wlr.catalog(X_0:str):void;
COMMENT "A catalog changing query";

PATTERN wlr.clear_table(X_0:str, X_1:str, X_2:int):int;
COMMENT "Destroy the tuples in the table";

PATTERN wlr.comment_on(X_0:int, X_1:str):void;
COMMENT "Catalog operation comment_on";

PATTERN wlr.commit():void;
COMMENT "Mark the end of the work unit";

PATTERN wlr.create_function(X_0:str, X_1:str, X_2:int):void;
COMMENT "Catalog operation create_function";

PATTERN wlr.create_role(X_0:str, X_1:str, X_2:int):void;
COMMENT "Catalog operation create_role";

PATTERN wlr.create_schema(X_0:str, X_1:str, X_2:int):void;
COMMENT "Catalog operation create_schema";

PATTERN wlr.create_seq(X_0:str, X_1:str, X_2:int):void;
COMMENT "Catalog operation create_seq";

PATTERN wlr.create_table(X_0:str, X_1:str, X_2:int):void;
COMMENT "Catalog operation create_table";

PATTERN wlr.create_trigger(X_0:str, X_1:str, X_2:str, X_3:int, X_4:int, X_5:int, X_6:str, X_7:str, X_8:str, X_9:str, X_10:int):void;
COMMENT "Catalog operation create_trigger";

PATTERN wlr.create_type(X_0:str, X_1:str, X_2:str):void;
COMMENT "Catalog operation create_type";

PATTERN wlr.create_user(X_0:str, X_1:str, X_2:int, X_3:str, X_4:str):void;
COMMENT "Catalog operation create_user";

PATTERN wlr.create_view(X_0:str, X_1:str, X_2:int, X_3:int):void;
COMMENT "Catalog operation create_view";

PATTERN wlr.delete(X_0:str, X_1:str, X_2:oid...):int;
COMMENT "Apply the deletions in the workload-capture-replay list";

PATTERN wlr.drop_constraint(X_0:str, X_1:str, X_2:str, X_3:int, X_4:int):void;
COMMENT "Catalog operation drop_constraint";

PATTERN wlr.drop_function(X_0:str, X_1:str, X_2:int, X_3:int, X_4:int):void;
COMMENT "Catalog operation drop_function";

PATTERN wlr.drop_index(X_0:str, X_1:str, X_2:int):void;
COMMENT "Catalog operation drop_index";

PATTERN wlr.drop_role(X_0:str, X_1:int):void;
COMMENT "Catalog operation drop_role";

PATTERN wlr.drop_role(X_0:str, X_1:str, X_2:int):void;
COMMENT "Catalog operation drop_role";

PATTERN wlr.drop_schema(X_0:str, X_1:int, X_2:int):void;
COMMENT "Catalog operation drop_schema";

PATTERN wlr.drop_seq(X_0:str, X_1:str, X_2:int):void;
COMMENT "Catalog operation drop_seq";

PATTERN wlr.drop_table(X_0:str, X_1:str, X_2:int, X_3:int):void;
COMMENT "Catalog operation drop_table";

PATTERN wlr.drop_trigger(X_0:str, X_1:str, X_2:int):void;
COMMENT "Catalog operation drop_trigger";

PATTERN wlr.drop_type(X_0:str, X_1:str, X_2:int):void;
COMMENT "Catalog operation drop_type";

PATTERN wlr.drop_user(X_0:str, X_1:int):void;
COMMENT "Catalog operation drop_user";

PATTERN wlr.drop_user(X_0:str, X_1:str, X_2:int):void;
COMMENT "Catalog operation drop_user";

PATTERN wlr.drop_view(X_0:str, X_1:str, X_2:int, X_3:int):void;
COMMENT "Catalog operation drop_view";

PATTERN wlr.getMaster():str;
COMMENT "What is the current master database";

PATTERN wlr.getclock():str;
COMMENT "Timestamp of last replicated transaction.";

PATTERN wlr.gettick():lng;
COMMENT "Transaction identifier of the last replicated transaction.";

PATTERN wlr.grant(X_0:str, X_1:str, X_2:str, X_3:int, X_4:str, X_5:int, X_6:int):void;
COMMENT "Catalog operation grant";

PATTERN wlr.grant_function(X_0:str, X_1:int, X_2:str, X_3:int, X_4:int, X_5:int):void;
COMMENT "Catalog operation grant_function";

PATTERN wlr.grant_roles(X_0:str, X_1:str, X_2:int, X_3:int):void;
COMMENT "Catalog operation grant_roles";

UNSAFE PATTERN wlr.master(X_0:str):void;
COMMENT "Initialize the replicator thread";

PATTERN wlr.rename_column(X_0:str, X_1:str, X_2:str, X_3:str):void;
COMMENT "Catalog operation rename_column";

PATTERN wlr.rename_schema(X_0:str, X_1:str):void;
COMMENT "Catalog operation rename_schema";

PATTERN wlr.rename_table(X_0:str, X_1:str, X_2:str, X_3:str):void;
COMMENT "Catalog operation rename_table";

PATTERN wlr.rename_user(X_0:str, X_1:str, X_2:int):void;
COMMENT "Catalog operation rename_user";

UNSAFE PATTERN wlr.replicate():void;
COMMENT "Continue to keep the replica in sink";

UNSAFE PATTERN wlr.replicate(X_0:bte):void;
COMMENT "Roll the snapshot forward to a specific transaction id";

UNSAFE PATTERN wlr.replicate(X_0:int):void;
COMMENT "Roll the snapshot forward to a specific transaction id";

UNSAFE PATTERN wlr.replicate(X_0:lng):void;
COMMENT "Roll the snapshot forward to a specific transaction id";

UNSAFE PATTERN wlr.replicate(X_0:sht):void;
COMMENT "Roll the snapshot forward to a specific transaction id";

UNSAFE PATTERN wlr.replicate(X_0:timestamp):void;
COMMENT "Roll the snapshot forward to an up-to-date clone";

PATTERN wlr.revoke(X_0:str, X_1:str, X_2:str, X_3:int, X_4:str, X_5:int, X_6:int):void;
COMMENT "Catalog operation revoke";

PATTERN wlr.revoke_function(X_0:str, X_1:int, X_2:str, X_3:int, X_4:int, X_5:int):void;
COMMENT "Catalog operation revoke_function";

PATTERN wlr.revoke_roles(X_0:str, X_1:str, X_2:int, X_3:int):void;
COMMENT "Catalog operation revoke_roles";

PATTERN wlr.rollback():void;
COMMENT "Mark the end of the work unit";

UNSAFE PATTERN wlr.setbeat(X_0:int):void;
COMMENT "Threshold (in seconds) for re-running queries";

UNSAFE PATTERN wlr.stop():void;
COMMENT "Stop the replicator thread";

UNSAFE PATTERN wlr.transaction():void;
COMMENT "Start an autocommit transaction";

PATTERN wlr.transaction(X_0:lng, X_1:str, X_2:str):void;
COMMENT "Mark the beginning of the work unit which can be a compound transaction";

PATTERN wlr.transaction_begin(X_0:int, X_1:str):void;
COMMENT "A transaction statement (type can be commit,release,rollback or start)";

PATTERN wlr.transaction_commit(X_0:int, X_1:str):void;
COMMENT "A transaction statement (type can be commit,release,rollback or start)";

PATTERN wlr.transaction_release(X_0:int, X_1:str):void;
COMMENT "A transaction statement (type can be commit,release,rollback or start)";

PATTERN wlr.transaction_rollback(X_0:int, X_1:str):void;
COMMENT "A transaction statement (type can be commit,release,rollback or start)";

PATTERN wlr.update(X_0:str, X_1:str, X_2:str, X_3:oid, X_4:any):int;
COMMENT "Apply the update in the workload-capture-replay list";