Package com.io7m.smfj.processing.api

Class SMFFilterCommandParsing

  • public final class SMFFilterCommandParsing
extends java.lang.Object
    Useful combinators for parsing.

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static SMFParseError errorExpectedGot​(java.util.Optional<java.net.URI> uri, int line, java.lang.String expected, java.util.List<java.lang.String> text)
      Construct an error message that indicates that one sort of input was expected but another was received.
      static SMFPartialLogged<SMFMemoryMeshFilterType> errorExpectedGotValidation​(java.util.Optional<java.net.URI> uri, int line, java.lang.String expected, java.util.List<java.lang.String> text)
      Construct an error message that indicates that one sort of input was expected but another was received.

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Method Detail

      • errorExpectedGotValidation

        public static SMFPartialLogged<SMFMemoryMeshFilterType> errorExpectedGotValidation​(java.util.Optional<java.net.URI> uri,
                                                                                   int line,
                                                                                   java.lang.String expected,
                                                                                   java.util.List<java.lang.String> text)
        Construct an error message that indicates that one sort of input was expected but another was received.
        Parameters:
        uri - The URI, if any
        line - The current line number
        expected - The expected input
        text - The received input
        Returns:
        An error message

      • errorExpectedGot

        public static SMFParseError errorExpectedGot​(java.util.Optional<java.net.URI> uri,
                                             int line,
                                             java.lang.String expected,
                                             java.util.List<java.lang.String> text)
        Construct an error message that indicates that one sort of input was expected but another was received.
        Parameters:
        uri - The URI, if any
        line - The current line number
        expected - The expected input
        text - The received input
        Returns:
        An error message