File mu/tom

class mu.ParseTom

Inherits

State supers

gps.Parser, ParseTomDefines, mu, tom.Conditions

methods

void
  fill_tokens_by_number;

Undocumented.

instance (id)
  parser TomFile f
   using LexTom lexer;

Undocumented.

instance mu.ParseTom

variables

redeclare LexTom lex;

The lexer from which we get the tokens.

public mutable TomFile file;

The file from which we are reading.

Extension current_ext;

The current extension object.

Meta current_meta;

The current meta object (of current_ext, obviously).

CustomMethod current_method;

The current method.

Compound current_compound;

The current compound.

boolean skips;

Iff TRUE, any semantics are skipped. Only useful inside a method body.

methods

id
   init TomFile f
  lexer LexTom l;

Designated initializer.

void
  parse;

Front-end for tom_file, which catches unexpected raises and report the current line and all that.

Type
  typeNamed tom.String name;

Undocumented.

void
  addSuper Meta meta
     shift boolean instance_only;

Be notified that the meta has been added to the supers of the current meta. Iff instance_only, the current meta inherits the indicated instance, instead of this being `normal' inheritance.

void
  startExtension Extension ext
       interface boolean is_interface;

Undocumented.

void
  startSupers;

Undocumented.

void
  finishSupers;

Undocumented.

void
  finishMethodDecl CustomMethod m;

Undocumented.

void
  startMethodBody CustomMethod m;

Undocumented.

void
  finishMethodBody CustomMethod m;

Undocumented.

TypeTuple
  startTypeTuple;

Undocumented.

void
          add Type t
  toTypeTuple TypeTuple tuple;

Undocumented.

Type
  finishTypeTuple TypeTuple tuple;

Undocumented.

_builtin_.Any
   monop int op_token
    with tom.All shs
  postp: boolean postfix = NO;

Undocumented.

_builtin_.Any
  binop int op_token
   with (tom.All, tom.All) (lhs, rhs);

Undocumented.

_builtin_.Any
  triop int op_token
   with (tom.All, tom.All, tom.All) (lhs, mhs, rhs);

Undocumented.

_builtin_.Any
  break tom.All argument;

Undocumented.

_builtin_.Any
  continue tom.All argument;

Undocumented.

void
  startMetaVars;

Undocumented.

void
  finishMetaVars;

Undocumented.

int
  addQualifier int q
            to int collected;

Add the qualifier denoted by the token to the already collected qualifiers.

int
  qualifier int token;

Return the qualifier flag value for the qualifier identified by the token.

void
  finishFile;

We are done with the current file, i.e. we're at the end of the input.

void
  startFile;

We are starting on a file.

void
  willStartExtension;

Notification that an implementation or interface token has been read. This is used to synchronize documentation, i.e. to avoid that documentation of the first method ends up as class documentation.

void
  addConst tom.String name
     value Expression e;

Be notified of a constant.

void
  metaVar (int, Type, tom.String) (qualifiers, type, name);

Be notified of a class or instance variable in the current extension, named name, with the indicated qualifiers and type. The default implementation passes this to the current_ext.

Argument
  argumentSingle (tom.String, Type) (name, type);

Undocumented.

Expression
  stringConstant tom.String s;

Undocumented.

Expression
  lastLocalVar LocalVariable variable;

Return an expression for the local variable declaration, which had the variable as the one declared last. Default implementation does nothing.

LocalVariable (lv)
  localVariable (Type, tom.String, Expression) (t, n, e);

Return a local variable with the given type, name, and default value. Default implementation passes this to the current_compound.

Expression
  selectorWithNameParts tom.MutableArray name_parts
                  types (Type, tom.MutableArray) (return_type, arg_types);

Return an object for an expression like selector (void foo). Default implementation does nothing.

_builtin_.Any
  startDo;

Undocumented.

Expression
     do tom.All do_loop
  while Expression condition
   body Expression body;

Undocumented.

_builtin_.Any
  startWhile Expression condition;

Undocumented.

Expression
  while tom.All while_loop
   body Expression body;

Undocumented.

_builtin_.Any
  startFor (Expression, Expression, Expression) (i, c, m);

Undocumented.

Expression
   for tom.All for_loop
  body Expression body;

Undocumented.

void
  initBind;

Undocumented.

_builtin_.Any
  startBind tom.MutableArray condition_tuples;

Undocumented.

Expression
  bind tom.All binder
  body Expression body;

Undocumented.

_builtin_.Any
  startCatch Expression what;

Undocumented.

Expression
  catch tom.All catcher
   body Expression body;

Undocumented.

_builtin_.Any
  startUnwind Expression what;

Undocumented.

Expression
  unwind tom.All unwinder
    body Expression body;

Undocumented.

void
  startMethods;

Be notified that the first method will start now.

void
  finishMethods;

Be notified that all methods in this extension have been processed.

void
  topExpression Expression top_expression;

Be informed that the top_expression has been parsed, and can be added to the current compound.

void
  startPostcondition;

Be informed of the start of a postcondition.

void
  postcondition Expression e
       relative int relative
       ofMethod CustomMethod m;

Be informed of the postcondition e. Default implementation passes e with addPostcondition to m. relative is 0 for no qualification, -1 for narrowing, or 1 for widening.

void
  startPrecondition;

Be informed of the start of a precondition.

void
  precondition Expression e
      relative int relative
      ofMethod CustomMethod m;

Be informed of the precondition e. Default implementation passes e with addPrecondition to m. relative is 0 for no qualification, -1 for narrowing, or 1 for widening.

void
  startCompound;

Undocumented.

Expression
  finishCompound;

Undocumented.

Expression
  attributeNotFound tom.String name;

This is invoked by attributeNamed for a name which did not resolve. The default implementation simply returns the error_expr, without issuing an error.

Expression
  attributeNamed tom.String name;

Return an expression denoted by name in the current scope.

Expression (e)
  special;

Undocumented.

Expression (e)
  other_expr0;

Undocumented.

void
  imp_int;

Undocumented.

tom.MutableArray (s)
  expr_sequence;

Undocumented.

void
  one_super;

Undocumented.

Expression (e)
  start_term (tom.String) (n);

Undocumented.

Type (t)
  type;

Undocumented.

Expression (e)
  other_term;

Undocumented.

void
  super_list;

Undocumented.

Argument (a)
  tuple_arg (Type) (t);

Undocumented.

Expression (e)
  while_loop;

Undocumented.

Expression (e)
  expr (int) (prio);

Undocumented.

Expression (e)
  expr0;

Undocumented.

Expression (e)
  rest_of_local_var (Type, tom.String) (type, name);

Undocumented.

void
  meta_vars;

Undocumented.

LocalVariable (v)
  local_var (Type, tom.String) (type, name);

Undocumented.

Expression (mi)
  method_invocation;

Undocumented.

ArgumentTuple (tup)
  ret_tuple (Type) (t);

Undocumented.

void
  method;

Undocumented.

Expression (e)
  term;

Undocumented.

Expression (e)
  ss_top_expr;

Undocumented.

void
  typed_meta_var (int, Type) (qualifiers, type);

Undocumented.

ArgumentTuple (tup)
  ret_tuple_tuple (Type) (t);

Undocumented.

tom.String (ext_name)
  extension;

Undocumented.

void
  precondition (CustomMethod) (m);

Undocumented.

Expression (e)
  top_expr;

Undocumented.

Expression (e)
  start_atom (tom.String) (n);

Undocumented.

void
  tom_file;

Undocumented.

void
  postcondition (CustomMethod) (m);

Undocumented.

Expression (e)
  other_atom;

Undocumented.

Expression (f)
  rest_of_expr (int, Expression) (prio, e);

Undocumented.

(tom.String, tom.String) (unit_name, meta_name)
  meta_name;

Undocumented.

Expression (e)
  selector_ref;

Undocumented.

Expression (e)
  string;

Undocumented.

Expression (e)
  do_loop;

Undocumented.

Argument (a)
  argument (Type) (t);

Undocumented.

tom.All (v)
  ret_tuple_elt (Type) (t);

Undocumented.

Argument (a)
  method_arg;

Undocumented.

Type (t)
  tuple_type;

Undocumented.

int (q)
  qualifier;

Undocumented.

Expression (e)
  start_expr0 (tom.String) (n);

Undocumented.

void
  methods;

Undocumented.

Expression (e)
  atom;

Undocumented.

Expression (e)
  tuple;

Undocumented.

Expression (e)
  start_variable_or_meth_inv (tom.String) (n);

Undocumented.

Expression (e)
  variable_or_meth_inv;

Undocumented.

Type (t)
  arg_type;

Undocumented.

Expression (e)
  sc_top_expr;

Undocumented.

Expression (e)
  for_loop;

Undocumented.

Expression (e)
  start_expr (tom.String, int) (n, prio);

Undocumented.

Expression (e)
  if_else;

Undocumented.

int (q)
  qualifiers;

Undocumented.

Expression (e)
  compound;

Undocumented.

Expression (e)
  other_expr (int) (prio);

Undocumented.

Expression (e)
  expr_or_compound;

Undocumented.

Meta (t)
  meta_type;

Undocumented.

Expression (rcv)
  receiver_with_type (Type) (meta);

Undocumented.

tom.String (np)
  method_name_part;

Undocumented.

tom.String (np)
  bare_method_name_part;

Undocumented.