Packages

ft

3.2.2
3.2.2 3.2.1 3.1.0

FT FormalTalk ERP.UNO Compiler

HexDocs

Current section

Files

Jump to
Readme
3 Versions
1 Dependency
Dependants
Files
Activity
ft priv erp.uno bpe output.bpe
Raw

priv/erp.uno/bpe/output.bpe 

module output bpe

import kvs/routeProc.kvs



route routeTo

begin (*,D):I,R,,perm | (*,A):A,A,toApprover;T,A,toApprover

    | (D,A):O,R,,perm;A,A,toApprover;T,A,toApprover | (A,gwA):O,A,fromApprover,perm

    | (gwA,A):A,A,toApprover;T,A,toApprover | (gwV,Cv):A,A,fromApprover;T,A,fromApprover

    | (*,S):S,S;T,S | (gwS,gwNC):O,S,,,perm | (gwNC,C):C,[] | (gwNC,Se):N,[] | (*,Se):N,[]

    | (*,S2):N,[] | (*,G):G,[];P,RAS;P,[],toCertifiers | (*,A):A,[] end



route routeFrom

begin (gwA,D):A,A;T,A;O,A | (gwS,D):S,S;A,A;T,AS;O,A

    | (*,A):A,A,toApprover;T,A,toApprover | (D,A):J,R;T,R

    | (A,gwA):A,A,fromApprover,assistant;T,A,fromApprover,assistant | (*,S):S,S;T,S

    | (gwV,S):A,A,fromApprover;T,A,fromApprover | (*,gwNC):S,S,,assistant;T,S,,assistant

    | (C,S):C,[] | (*,G):N,[] | (G,A):G,[];I,R;O,ASR;A,A;S,S;T,AS end