Module: Declaration (Umu::ConcreteSyntax::Core)
Prev Chapter 3.  User Defined Modules and Classes  Next

Module: Declaration (Umu::ConcreteSyntax::Core)

Overview
Module Structure
Class Hierarchy
Constants
Declaration::EMPTY_SEQ_OF_DECRALATION
Module Functions
Declaration.make_assert / 3
Declaration.make_value / 4
Declaration.make_function / 2
Declaration.make_recursive_function / 2
Declaration.make_recursive / 2
Declaration.make_empty_seq_of_declaration
Declaration.make_seq_of_declaration / 1
is a submodule of
module: Core ( Umu::ConcreteSyntax )
is modularized into
class: Abstract   
class: Assert   
class: Value   
module: Function   
class: Recursive   
class: SeqOfDeclaration   
has modular siblings
module: Expression   
module: Pattern   
has properties
function: make_assert / 3   
function: make_value / 4   
function: make_function / 2   
function: make_recursive_function / 2   
function: make_recursive / 2   
constant: EMPTY_SEQ_OF_DECRALATION   
function: make_empty_seq_of_declaration   
function: make_seq_of_declaration / 1   
is defined at
#12 in concrete-syntax/core/declaration/abstract.rb  
#12 in concrete-syntax/core/declaration/assert.rb  
#12 in concrete-syntax/core/declaration/value.rb  
#12 in concrete-syntax/core/declaration/function.rb  
#12 in concrete-syntax/core/declaration/recursive.rb  
#12 in concrete-syntax/core/declaration/seq-of-declaration.rb  
#24 in common/constant.rb  

Overview

Module Structure
Class Hierarchy

Module Structure

  module: <Toplevel Module>
  module: Umu
  module: ConcreteSyntax
  module: Core
✗ module: Declaration
  class: Abstract     
  class: Assert     
  class: Value     
  module: Function     
  class: Recursive     
  class: SeqOfDeclaration     
  module: Expression
  module: Pattern

Class Hierarchy

  Object ( Builtin-Module )
  Model ( Umu::Abstraction )
  Abstract ( Umu::ConcreteSyntax )
  Abstract ( Umu::ConcreteSyntax::Core::Declaration )
    Assert     
    Value     
    Recursive     
    SeqOfDeclaration     

Constants

Declaration::EMPTY_SEQ_OF_DECRALATION

Declaration::EMPTY_SEQ_OF_DECRALATION

#80 in concrete-syntax/core/declaration/seq-of-declaration.rb

EMPTY_SEQ_OF_DECRALATION = SeqOfDeclaration.new(   

Module Functions

Declaration.make_assert / 3
Declaration.make_value / 4
Declaration.make_function / 2
Declaration.make_recursive_function / 2
Declaration.make_recursive / 2
Declaration.make_empty_seq_of_declaration
Declaration.make_seq_of_declaration / 1

Declaration.make_assert / 3

#86 in concrete-syntax/core/declaration/assert.rb

make_assert ( loc ,
  test_expr ,
  else_expr )

Declaration.make_value / 4

#92 in concrete-syntax/core/declaration/value.rb

make_value ( loc ,
  pat ,
  expr ,
  decls )

Declaration.make_function / 2

#83 in concrete-syntax/core/declaration/function.rb

make_function ( loc ,
  lam_expr )

Declaration.make_recursive_function / 2

#90 in concrete-syntax/core/declaration/function.rb

make_recursive_function ( loc ,
  lam_expr )

Declaration.make_recursive / 2

#109 in concrete-syntax/core/declaration/recursive.rb

make_recursive ( loc ,
  functions )

Declaration.make_empty_seq_of_declaration

#89 in concrete-syntax/core/declaration/seq-of-declaration.rb

make_empty_seq_of_declaration

Declaration.make_seq_of_declaration / 1

#94 in concrete-syntax/core/declaration/seq-of-declaration.rb

make_seq_of_declaration ( decls )

Prev Up Next
Module: Core (Umu::ConcreteSyntax)  Home  Class: Abstract (Umu::ConcreteSyntax::Core::Declaration)