object ParsingStream extends Serializable
- Source
- Parser.scala
- Alphabetic
- By Inheritance
- ParsingStream
- Serializable
- Serializable
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
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
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
implicit
def
fileToReader(f: File): BufferedReader
to allow passing a file instead of a reader
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
def
fromFile(f: File, dpathOpt: Option[DPath] = None, nsMapOpt: Option[NamespaceMap] = None, formatOpt: Option[String] = None, streamOpt: Option[BufferedReader] = None): ParsingStream
creates a ParsingStream from a file, making reasonable default choices
creates a ParsingStream from a file, making reasonable default choices
- f
the file
- dpathOpt
the logical URI of the file (defaults to file URI with "omdoc" ending)
- nsMapOpt
the namespace map
- formatOpt
format (defaults to file extension)
- streamOpt
stream (defaults to reader from file)
-
def
fromSourceFile(a: Archive, inPath: FilePath, strOpt: Option[BufferedReader] = None, nsMapOpt: Option[NamespaceMap] = None): ParsingStream
creates a parsing stream for a source file in an archive
creates a parsing stream for a source file in an archive
return a parsing stream where source: logical document URI with native file extension dpath: logical document URI with "omdoc" file extension format: file extension
- a
an archive
- inPath
path to the source file
- strOpt
the reader to use (defaults to file reader)
- returns
the parsing stream
-
def
fromString(s: String, dpath: DPath, format: String, nsMapOpt: Option[NamespaceMap] = None): ParsingStream
creates a ParsingStream from a string
creates a ParsingStream from a string
- s
the string
- dpath
the logical URI of the string
- format
format
- nsMapOpt
the namespace map
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
implicit
def
stringToReader(s: String): BufferedReader
to allow passing a string instead of a reader
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
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( ... ) @native()