de
.
uni_luebeck
.
isp
.
tessla
.
Parser
Parsers
Related Doc:
package Parser
object
Parsers
extends
Parsers
Linear Supertypes
Parsers
,
AnyRef
,
Any
Ordering
Alphabetic
By inheritance
Inherited
Parsers
Parsers
AnyRef
Any
Hide All
Show all
Visibility
Public
All
Type Members
case class
Failure
extends
ParseResult
[
Nothing
] with
Product
with
Serializable
Definition Classes
Parsers
abstract
class
ParseResult
[
+Result
]
extends
AnyRef
Definition Classes
Parsers
trait
Parser
[
+Result
]
extends
AnyRef
Definition Classes
Parsers
case class
Success
[
Result
]
extends
ParseResult
[
Result
] with
Product
with
Serializable
Definition Classes
Parsers
case class
Suggestion
extends
Product
with
Serializable
Definition Classes
Parsers
Value Members
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
object
Suggestion
extends
Serializable
Definition Classes
Parsers
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
boolLit
:
Parser
[
BoolLit
]
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
val
completionTokenDelimiter
:
String
Definition Classes
Parsers
def
defOrMacroDef
:
Parser
[
Statement
]
def
describeAs
[
Result
]
(
description:
String
)
(
parser:
Parser
[
Result
]
)
:
Parser
[
Result
]
Definition Classes
Parsers
def
eof
:
Parser
[
Some
[
Tokens.EOF
.type]]
Definition Classes
Parsers
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
expr
:
Parser
[
Expr
]
def
exprAppArg
:
Parser
[
AppArg
]
def
exprAppArgs
:
Parser
[
Seq
[
AppArg
]]
def
exprAtomic
:
Parser
[
Expr
]
def
exprBoolLit
:
Parser
[
Expr
]
def
exprFloatLit
:
Parser
[
Expr
]
def
exprGroup
:
Parser
[
Expr
]
def
exprIntLit
:
Parser
[
Expr
]
def
exprLit
:
Parser
[
Expr
]
def
exprNameOrApp
:
Parser
[
Expr
]
def
exprStringLit
:
Parser
[
Expr
]
def
fail
:
Parser
[
Nothing
]
Definition Classes
Parsers
def
fail
(
expected:
String
)
:
Parser
[
Nothing
]
Definition Classes
Parsers
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
def
floatLit
:
Parser
[
FloatLit
]
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
def
identifier
:
Parser
[
Identifier
]
def
intLit
:
Parser
[
IntLit
]
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
def
macroArg
:
Parser
[
MacroArg
]
def
macroArgs
:
Parser
[
Seq
[
MacroArg
]]
def
matchToken
[
Result
]
(
description:
String
,
suggestions: ⇒
Set
[
Suggestion
]
)
(
f:
PartialFunction
[
WithLocation
[
Tokens.Token
],
Result
]
)
:
Parser
[
Result
]
Definition Classes
Parsers
def
matchTokenAlt
[
Result
]
(
description:
Set
[
String
]
,
suggestions: ⇒
Set
[
Suggestion
]
)
(
f:
PartialFunction
[
WithLocation
[
Tokens.Token
],
Result
]
)
:
Parser
[
Result
]
Definition Classes
Parsers
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
def
parseAll
[
Result
]
(
p: ⇒
Parser
[
Result
]
,
s:
String
)
:
ParseResult
[
Result
]
Definition Classes
Parsers
def
parseAll
[
Result
]
(
p: ⇒
Parser
[
Result
]
,
s:
Source
)
:
ParseResult
[
Result
]
Definition Classes
Parsers
def
parseAll
[
Result
]
(
p: ⇒
Parser
[
Result
]
,
s:
LookaheadSource
)
:
ParseResult
[
Result
]
Definition Classes
Parsers
def
parseAll
[
Result
]
(
p: ⇒
Parser
[
Result
]
,
TokenIterator:
Tokenizer.TokenIterator
)
:
ParseResult
[
Result
]
Definition Classes
Parsers
def
rep1sep
[
T
]
(
rep:
Parser
[
T
]
,
sep:
Parser
[
Any
]
)
:
Parser
[
List
[
T
]]
Definition Classes
Parsers
def
repsep
[
T
]
(
rep:
Parser
[
T
]
,
sep:
Parser
[
Any
]
)
:
Parser
[
List
[
T
]]
Definition Classes
Parsers
def
spec
:
Parser
[
Spec
]
def
statement
:
Parser
[
Statement
]
def
stringLit
:
Parser
[
StringLit
]
def
success
[
Result
]
(
result: ⇒
Result
)
:
Parser
[
Result
] { def parse(input: de.uni_luebeck.isp.tessla.Parser.Parsers.tokenizer.TokenIterator): de.uni_luebeck.isp.tessla.Parser.Parsers.Success[Result] }
Definition Classes
Parsers
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toString
()
:
String
Definition Classes
AnyRef → Any
implicit
def
token
[
T <:
Tokens.Token
]
(
tok:
T
)
:
Parser
[
WithLocation
[
T
]]
Definition Classes
Parsers
def
token
[
T <:
Tokens.Token
]
(
tok:
T
,
docString:
String
)
:
Parser
[
WithLocation
[
T
]]
Definition Classes
Parsers
implicit
def
tokenToParser
(
t:
Tokens.Token
)
:
Parser
[
WithLocation
[
Tokens.Token
]]
val
tokenizer
:
Tokenizer
.type
Definition Classes
Parsers
→ Parsers
def
type
:
Parser
[
Ast.Type
]
def
typeAppArgs
:
Parser
[
Seq
[
Ast.Type
]]
def
typeAscr
:
Parser
[
Ast.Type
]
def
typeNameOrApp
:
Parser
[
Ast.Type
]
final
def
wait
()
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
,
arg1:
Int
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
def
when
[
T
]
(
condition:
Boolean
)
(
thenParser: ⇒
Parser
[
T
]
)
:
Parser
[
T
]
Definition Classes
Parsers
Inherited from
Parsers
Inherited from
AnyRef
Inherited from
Any
Ungrouped