Class: Assert (Umu::ConcreteSyntax::Core::Declaration)

Overview
Module Structure
Class Hierarchy
Instance Attributes
Assert#test_expr [R]
Assert#else_expr [R]
Instance Methods
Assert#initialize / 3
Assert#to_s
Assert#pretty_print / 1
Assert#exported_vars
Assert#__desugar__ / 2
is a submodule of
module: Declaration ( Umu::ConcreteSyntax::Core )
has modular siblings
class: Abstract   
class: Value   
module: Function   
class: Recursive   
class: SeqOfDeclaration   
inherits from
  Abstract ( Umu::ConcreteSyntax::Core::Declaration )
has class siblings
  Value ( Umu::ConcreteSyntax::Core::Declaration )
  Abstract ( Umu::ConcreteSyntax::Core::Declaration::Function )
  Recursive ( Umu::ConcreteSyntax::Core::Declaration )
  SeqOfDeclaration ( Umu::ConcreteSyntax::Core::Declaration )
has properties
attribute: test_expr [R]   
attribute: else_expr [R]   
method: initialize / 3   
method: to_s   
method: pretty_print / 1   
method: exported_vars   
method: __desugar__ / 2   
is defined at
#14 in concrete-syntax/core/declaration/assert.rb  

Overview

Module Structure

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

Class Hierarchy

Object ( Builtin-Module )
Model ( Umu::Abstraction )
has properties
attribute: loc [R]   
method: initialize / 1   
method: to_s   
Abstract ( Umu::ConcreteSyntax )
has properties
method: pretty_print / 1   
method: desugar / 1   
method: __desugar__ / 2   

Instance Attributes

Instance Methods

Assert#initialize / 3

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

initialize ( loc ,
  test_expr ,
  else_expr )

Assert#pretty_print / 1

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

pretty_print ( q )

Assert#exported_vars

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

exported_vars

Assert#__desugar__ / 2

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

__desugar__ ( env ,
  event )