Documentation

Parser_.PlusCal

source
def SurfacePlusCal.Lexer.lexAlgorithm (lexTLAToken : Unit → PlusCalLexer (Located Token)) :
PlusCalLexer (Array (Located Token))

Lex a full algorithm, until *) is reached (but not consumed).

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    def SurfacePlusCal.Parser.parseAlgorithm (tryParseAnnotations : ParserT (ParseError (TokenStream (Located' (SurfaceTLAPlus.Token (Located' Token)))) (Located' (SurfaceTLAPlus.Token (Located' Token)))) (TokenStream (Located' (SurfaceTLAPlus.Token (Located' Token)))) (Located' (SurfaceTLAPlus.Token (Located' Token))) ParserWarningM (List SurfaceTLAPlus.CommentAnnotation)) (parseExpression : ParserT (ParseError (TokenStream (Located' (SurfaceTLAPlus.Token (Located' Token)))) (Located' (SurfaceTLAPlus.Token (Located' Token)))) (TokenStream (Located' (SurfaceTLAPlus.Token (Located' Token)))) (Located' (SurfaceTLAPlus.Token (Located' Token))) ParserWarningM (SurfaceTLAPlus.Expression (List SurfaceTLAPlus.CommentAnnotation))) :
    PlusCalParser (Algorithm (List SurfaceTLAPlus.CommentAnnotation) (SurfaceTLAPlus.Expression (List SurfaceTLAPlus.CommentAnnotation)))
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For