toPolicy options.

interface Options {
    buildTime?: boolean;
    patternAliases?: boolean;
    vtable?: VtableInput;
}

Properties

buildTime?: boolean

If set to true, perform a build-time translation where incomplete vtable would not throw an error. The returned policy may not executed successfully, but can be serialized with printESM and printUserFns.

Otherwise, perform a runtime translation that checks all referenced user functions are present in the vtable.

false

patternAliases?: boolean

LVS model allows a node to have multiple rule names and may associate the same rule name with multiple nodes. However, TrustSchemaPolicy only allows one name for each pattern.

If set to true, a pattern translated from a node is duplicated so that it is associated with every rule name.

Otherwise, each pattern is only reachable from one name. The rule name, if unique, will be used; otherwise, an internal name is derived from the node id.

false

vtable?: VtableInput

Link user functions to the model.

MMNEPVFCICPMFPCPTTAAATR