Show
Ignore:
Timestamp:
09/05/09 14:21:41 (3 months ago)
Author:
sukyoungryu
Message:

[disambiguator] Fixed handling getters and setters in ExprDisambiguator?. Fixed libraries and tests using getters.

Location:
trunk/ProjectFortress/syntax_abstraction_tests
Files:
2 modified

Legend:

Unmodified
Added
Removed

  • trunk/ProjectFortress/syntax_abstraction_tests/Regex.fss

    r3329 r4130  
    2424 
    2525    object Regexp( elements : List[\Element\] ) 
    26         asString():String = "/" (BIG || [x<-elements] x) "/" 
     26        getter asString():String = "/" (BIG || [x<-elements] x) "/" 
    2727        raw():String = (BIG || [x<-elements] x) 
    2828        (* 
    … …  
    3535 
    3636    object RepeatElement(e:Element) extends Element 
    37         asString():String = e "*" 
     37        getter asString():String = e "*" 
    3838    end 
    3939 
    4040    object RepeatNonGreedyElement(e:Element) extends Element 
    41         asString():String = e "*?" 
     41        getter asString():String = e "*?" 
    4242    end 
    4343 
    4444    object RepeatExactlyElement(e:Element, n:ZZ32) extends Element 
    45         asString():String = e "{" n "}" 
     45        getter asString():String = e "{" n "}" 
    4646    end 
    4747 
    4848    object RepeatMinElement(e:Element, n:ZZ32) extends Element 
    49         asString():String = e "{" n ",}" 
     49        getter asString():String = e "{" n ",}" 
    5050    end 
    5151 
    5252    object RepeatMaxElement(e:Element, n:ZZ32) extends Element 
    53         asString():String = e "{," n "}" 
     53        getter asString():String = e "{," n "}" 
    5454    end 
    5555 
    5656    object RepeatBetweenElement(e:Element, n1:ZZ32, n2:ZZ32) extends Element 
    57         asString():String = e "{" n1 ", " n2 "}" 
     57        getter asString():String = e "{" n1 ", " n2 "}" 
    5858    end 
    5959 
    6060    object RepeatOneElement(e:Element) extends Element 
    61         asString():String = e "+" 
     61        getter asString():String = e "+" 
    6262    end 
    6363 
    6464    object RepeatOneNonGreedyElement(e:Element) extends Element 
    65         asString():String = e "+?" 
     65        getter asString():String = e "+?" 
    6666    end 
    6767 
    6868    object MaybeElement(e:Element) extends Element 
    69         asString():String = e "?" 
     69        getter asString():String = e "?" 
    7070    end 
    7171 
    7272    object GroupElement(e:List[\Element\]) extends Element 
    73         asString():String = "(" (BIG || [x<-e] x) ")" 
     73        getter asString():String = "(" (BIG || [x<-e] x) ")" 
    7474    end 
    7575 
    7676    object RangeElement(s1:String,s2:String) extends Element 
    77         asString():String = s1 "-" s2 
     77        getter asString():String = s1 "-" s2 
    7878    end 
    7979 
    8080    object ClassElement(e:List[\Element\]) extends Element 
    81         asString():String = "[" (BIG || [x<-e] x) "]" 
     81        getter asString():String = "[" (BIG || [x<-e] x) "]" 
    8282    end 
    8383 
    8484    object InverseClassElement(e:List[\Element\]) extends Element 
    85         asString():String = "[^" (BIG || [x<-e] x) "]" 
     85        getter asString():String = "[^" (BIG || [x<-e] x) "]" 
    8686    end 
    8787 
    8888    object StartElement() extends Element 
    89         asString():String = "^" 
     89        getter asString():String = "^" 
    9090    end 
    9191 
    9292    object AnyElement() extends Element 
    93         asString():String = "." 
     93        getter asString():String = "." 
    9494    end 
    9595 
    9696    object EndElement() extends Element 
    97         asString():String = "$" 
     97        getter asString():String = "$" 
    9898    end 
    9999 
    100100    object CharElement(s:String) extends Element 
    101         asString():String = s 
     101        getter asString():String = s 
    102102    end 
    103103 
    104104    object EscapedElement(s:String) extends Element 
    105         asString():String = "\\" s 
     105        getter asString():String = "\\" s 
    106106    end 
    107107 
    108108    object AlternateElement() extends Element 
    109         asString():String = "|" 
     109        getter asString():String = "|" 
    110110    end 
    111111 

  • trunk/ProjectFortress/syntax_abstraction_tests/Xml.fss

    r3645 r4130  
    2424 
    2525  trait Content 
     26    getter asString():String 
    2627    hasElements():Boolean = false 
    27     asString():String 
    2828  end 
    2929 
    3030  object Element(info:Header, content_:List[\Content\], endTag:String) extends Content 
     31    getter asString():String = toXml() 
     32 
    3133    toXml():String = 
    3234      do 
    … …  
    3840          s := s (typecase x of 
    3941                   Element => // x.toXml() 
    40                    else => x.asString() 
     42                   else => x.asString 
    4143                  end) 
    4244        end 
    … …  
    4547      end 
    4648 
    47     asString():String = toXml() 
    48  
    4949    children():List[\Element\] = 
    5050        content_.map[\Element\](fn x => cast[\Element\](x)) 
    5151 
    52     hasElements():Boolean = content_.isEmpty() OR: (isElement(content_[0])) 
     52    hasElements():Boolean = content_.isEmpty OR: (isElement(content_[0])) 
    5353    content():CData = cast[\CData\](content_[0]) 
    5454    (* 
    … …  
    7575    getter getKey():String = key 
    7676    getter getValue():String = val 
    77     getter asString():String = " " getKey() "= '" ||  getValue() || "'" 
     77    getter asString():String = " " self.getKey "= '" ||  self.getValue || "'" 
    7878  end 
    7979 
    8080  object CData(v:String) extends Content 
    81     asString():String = v 
     81    getter asString():String = v 
    8282  end 
    8383