Foundations of Software - LAMP - EPFL

More documents

Recommendations

Info

def value : Parser[Any] = ( obj | arr | stringLit | numericLit ˆˆ ( .toInt) // return an Int | ”null” ˆˆˆ null // return ‘null’ | ”true” ˆˆˆ true // return ‘true’ | ”false” ˆˆˆ false // return ‘false’ ) If we run the test now, we get: >java examples.parsing.JSON1 ”{ ”x”: true, ”y”: [1, 2, 3] }” { x : true, y : [1, 2, 3] } [1.30] parsed : Map(x → true, y → List(1, 2, 3)) 50
Table <strong>of</strong> Parser Combinators ident identifier keyword(...) keyword or special symbol (implicit) numericLit integer number stringLit string literal P ˜ Q sequential composition P Q sequential composition; keep left/right only P | Q alternative opt(P) option rep(P) repetition repsep(P, Q) interleaved repetition P ˆˆ f result conversion P ˆˆˆ v constant result 51
Page 1 and 2: Foundations of Software Martin Oder
Page 3 and 4: What is “software foundations”?
Page 5 and 6: What you can expect to get out of t
Page 7 and 8: What this course is not � An intr
Page 9 and 10: Overview This course will concentra
Page 11 and 12: Organization of the Course 11
Page 13 and 14: Information Textbook: Types and Pro
Page 15 and 16: Homework and Projects You will be a
Page 17 and 18: Learning Scala If you don’t know
Page 19 and 20: Collaboration � Collaboration on
Page 21 and 22: Part I Modelling programming langua
Page 23 and 24: Approaches to Parsing There are two
Page 25 and 26: Embedded Domain Specific Languages
Page 27 and 28: � Option [...] is now expressed b
Page 29 and 30: The Basic Idea For each language (i
Page 31 and 32: In each case, chars represents the
Page 33 and 34: Object-Oriented Parser Combinators
Page 35 and 36: Specific Single-Token Parsers � T
Page 37 and 38: The Sequence Combinator � The seq
Page 39 and 40: The Alternative Combinator � The
Page 41 and 42: Result Conversion The parser P ˆˆ
Page 43 and 44: The Interleaved Repetition Combinat
Page 45 and 46: An Example: JSON JSON, or JavaScrip
Page 47 and 48: Testing the JSON Parser Add a metho
Page 49: Getting Better Output � The resul
Page 53 and 54: A Problem with Top-Down Parsing As
Page 55 and 56: ... and reduce is defined as follow

Foundations of Software - LAMP - EPFL

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?