gapt.formats.babel.BabelSignature
See theBabelSignature companion trait
object BabelSignature
Contains various methods for generating signatures.
Attributes
- Companion
- trait
- Source
- BabelSignature.scala
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
BabelSignature.type
Members list
Type members
Classlikes
Constant with known type.
case object IsUnknownConst extends VarConst
Constant without known type.
Constant without known type.
Attributes
- Source
- BabelSignature.scala
- Supertypes
- Self type
-
IsUnknownConst.type
Variable without known type.
Attributes
- Source
- BabelSignature.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
object defaultSignature extends BabelSignature
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.
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.
Attributes
- Source
- BabelSignature.scala
- Supertypes
- Self type
-
defaultSignature.type
In this article