Contents

\* line

macro macroid1( m1_p1, m1_p2 )
{
   skip;

};

\* this is the second macro
macro macroid2( macro2_a, macro2_b) {


    skip;

}

(* ******************************************************************
   This is comment containing macro3, which is not included into
n   parse tree - because it is commented

  macro macroid3( macro3_a, macro3_b) {


    skip;

  }
   
  ******************************************************************)



ItWorks == TRUE

ItCalls == ItWorks( 1 )


(* ******************************************************************
   Define procedures
   ******************************************************************)

procedure proc0( ) {
   skip;
}


procedure proc1( a ) {
   skip;
}

procedure proc2( a,b ) {
   skip;
}



(* ******************************************************************
   Variables
   ******************************************************************)

a = 1

b = { a \in Set: TRUE }

c = {}

Version data entries

4 entries across 4 versions & 1 rubygems

Version	Path
tla-parser-s-0.2.5	spec/fixtures/callables1.tla
tla-parser-s-0.2.2	spec/fixtures/callables1.tla
tla-parser-s-0.1.2	spec/fixtures/callables1.tla
tla-parser-s-0.1.0	spec/fixtures/callables1.tla