Package

at.logic.gapt.formats

lisp

Permalink

package lisp

Content Hierarchy Learn more about scaladoc diagrams
Visibility
  1. Public
  2. All

Type Members

  1. case class Atom(name: String) extends SExpression with Product with Serializable

    Permalink
  2. case class Cons(car: SExpression, cdr: SExpression) extends SExpression with Product with Serializable

    Permalink
  3. class IntPosition extends Position

    Permalink
  4. case class List(elements: scala.collection.immutable.List[SExpression]) extends SExpression with Product with Serializable

    Permalink
  5. class ListReader extends Reader[Token]

    Permalink
  6. sealed class SExpression extends AnyRef

    Permalink

    ** Lisp SExpression Datatypes and Parser This is a basic LISP S-expression parser, without quote character, macros or other fancy stuff.

    ** Lisp SExpression Datatypes and Parser This is a basic LISP S-expression parser, without quote character, macros or other fancy stuff. Atoms have a reduced namespace and need to be extended if necessary.

    Some remarks: (1) regexp parsers eat whitespace and newlines (2) recursive cases have to be put first

  7. class SExpressionParser extends Parsers

    Permalink
  8. class Tokenizer extends RegexParsers

    Permalink

Value Members

  1. object IntPosition

    Permalink
  2. object ListReader

    Permalink
  3. object SExpressionParser extends SExpressionParser

    Permalink
  4. package tokens

    Permalink

Ungrouped