Critical Mass Modula-3: m3tk/src/ast/M3AST

m3tk/src/ast/M3AST_SM.m3

MODULE M3AST_SM;

************************************************************************* Copyright (C) Olivetti 1989 All Rights reserved Use and copy of this software and preparation of derivative works based upon this software are permitted to any person, provided this same copyright notice and the following Olivetti warranty disclaimer are included in any copy of the software or any modification thereof or derivative work therefrom made by any person. This software is made available AS IS and Olivetti disclaims all warranties with respect to this software, whether expressed or implied under any law, including all implied warranties of merchantibility and fitness for any purpose. In no event shall Olivetti be liable for any damages whatsoever resulting from loss of use, data or profits or otherwise arising out of or in connection with the use or performance of this software. *************************************************************************

******************************************************************* IMPORT AST_Init IMPORT M3AST, M3AST_AS; IMPORT M3AST_SM_F;

PROCEDURE IsA_INIT_ID(n: M3AST.NODE; VAR(*out

init_id: INIT_ID): BOOLEAN RAISES {} =
  BEGIN
    RETURN n.IsA_INIT_ID(init_id);
  END IsA_INIT_ID;

PROCEDURE IsA_CCV_ID(n: M3AST.NODE;
    VAR(*out*) ccv_id: CCV_ID): BOOLEAN RAISES {} =
  BEGIN
    RETURN n.IsA_CCV_ID(ccv_id);
  END IsA_CCV_ID;

PROCEDURE IsA_RECOBJ_ID(n: M3AST.NODE;
    VAR(*out*) recobj_id: RECOBJ_ID): BOOLEAN RAISES {} =
  BEGIN
    RETURN n.IsA_RECOBJ_ID(recobj_id)
  END IsA_RECOBJ_ID;

PROCEDURE IsA_REDEF_ID(n: M3AST.NODE;
    VAR(*out*) redef_id: REDEF_ID): BOOLEAN RAISES {} =
  BEGIN
    RETURN n.IsA_REDEF_ID(redef_id)
  END IsA_REDEF_ID;

PROCEDURE IsA_SCOPE(n: M3AST.NODE;
    VAR(*out*) scope: SCOPE): BOOLEAN=
  BEGIN
    RETURN n.IsA_SCOPE(scope);
  END IsA_SCOPE;

PROCEDURE NewType_type(): Type_type RAISES {}=
  VAR v := NEW(Type_type);
  BEGIN
    EVAL v.init(); RETURN v;
  END NewType_type;

PROCEDURE NewAny_type(): Any_type RAISES {}=
  VAR v := NEW(Any_type);
  BEGIN
    EVAL v.init(); RETURN v;
  END NewAny_type;

PROCEDURE NewVoid_type(): Void_type RAISES {}=
  VAR v := NEW(Void_type);
  BEGIN
    EVAL v.init(); RETURN v;
  END NewVoid_type;

PROCEDURE NewOpaque_type_Revln(): Opaque_type_Revln RAISES {}=
  VAR v := NEW(Opaque_type_Revln);
  BEGIN
    EVAL v.init(); RETURN v;
  END NewOpaque_type_Revln;

PROCEDURE NewTypeActual(): TypeActual RAISES {}=
  VAR v := NEW(TypeActual);
  BEGIN
    EVAL v.init(); RETURN v;
  END NewTypeActual;

PROCEDURE NewINIT_ID(): INIT_ID RAISES {} =
  BEGIN
    RETURN NEW(INIT_ID).init();
  END NewINIT_ID;

PROCEDURE NewCCV_ID(): CCV_ID RAISES {} =
  BEGIN
    RETURN NEW(CCV_ID).init();
  END NewCCV_ID;

PROCEDURE NewREDEF_ID(): REDEF_ID RAISES {} =
  BEGIN
    RETURN NEW(REDEF_ID).init();
  END NewREDEF_ID;

PROCEDURE NewRECOBJ_ID(): RECOBJ_ID RAISES {} =
  BEGIN
    RETURN NEW(RECOBJ_ID).init();
  END NewRECOBJ_ID;

PROCEDURE NewSCOPE(): SCOPE RAISES {} =
  BEGIN
    RETURN NEW(SCOPE).init();
  END NewSCOPE;
*************************************************************************)

VAR
  ue_g := NEW(EXP_NULL_UNSET OBJECT END);
  ud_g := NEW(DEF_ID_NULL_UNSET OBJECT END);

PROCEDURE UNSET_EXP(): EXP_NULL_UNSET RAISES {}=
  BEGIN
    RETURN ue_g;
  END UNSET_EXP;

PROCEDURE UNSET_DEF_ID(): DEF_ID_NULL_UNSET RAISES {}=
  BEGIN
    RETURN ud_g;
  END UNSET_DEF_ID;

BEGIN
END M3AST_SM.