Class DS::ArgumentList
In: AS.dat.rb
Parent: Array

List of instances of Class Argument.

Methods

new   with  

Attributes

substitution  [RW] 

Public Class methods

new( list=[], substitution=Substitution.new )

The substitution mentioned applies to all elements of this list.

[Source]

     # File AS.dat.rb, line 689
689:    def initialize( list=[], substitution=Substitution.new )
690:       list.each { |argument| self << argument }
691:       @substitution = substitution
692:    end

Public Instance methods

with(argument)

Adjoin argument, and adjoin the argument’s substitution to the substitution that is shared by all arguments in the list.

[Source]

     # File AS.dat.rb, line 696
696:    def with(argument)
697:       ArgumentList.new(
698:          self + [ argument ],
699:          @substitution.compose(argument.substitution)
700:       )
701:    end

[Validate]