Object/Class

at.logic.gapt.formats.babel

BabelSignature

Related Docs: class BabelSignature | package babel

Permalink

object BabelSignature

Contains various methods for generating signatures.

Source
BabelSignature.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. BabelSignature
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. def apply(sym: String, syms: String*): MapBabelSignature

    Permalink

    Creates a signature from a list of strings.

    Creates a signature from a list of strings.

    sym

    The first string.

    syms

    The rest of the strings.

  5. def apply(sym: Ident, syms: Ident*): MapBabelSignature

    Permalink

    Creates a signature from a list of identifiers.

    Creates a signature from a list of identifiers.

    sym

    The first identifier.

    syms

    The rest of the identifiers.

  6. def apply(set: Set[String])(implicit d: DummyImplicit): MapBabelSignature

    Permalink

    Creates a signature from a set of strings.

    Creates a signature from a set of strings.

    set

    A set of names. The elements of the set are the (only) constants. Their types are arbitrary.

  7. def apply(set: Set[Ident]): MapBabelSignature

    Permalink

    Creates a signature from a set of identifiers.

    Creates a signature from a set of identifiers.

    set

    A set of identifiers. The elements of the set are the (only) constants.

  8. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  9. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  10. implicit val defaultSignature: BabelSignature { val varPattern: scala.util.matching.Regex }

    Permalink

    The signature that the Babel parser will use if no other signature is in scope.

    The signature that the Babel parser will use if no other signature is in scope. In this signature, identifiers denote variables iff they start with [u-zU-Z]. The types of all identifiers are arbitrary.

  11. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  12. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  13. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  14. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  15. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  16. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  17. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  18. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  19. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  20. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  21. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  22. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  23. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  24. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped