isabelle

object IsabelleSyntax

[source: isabelle/IsabelleSyntax.scala]

object IsabelleSyntax
extends AnyRef
Method Summary
def append_list [A](append_elem : (A, scala.StringBuilder) => Unit, body : scala.Iterable[A], result : scala.StringBuilder) : Unit
def append_properties (props : scala.List[(java.lang.String, java.lang.String)], result : scala.StringBuilder) : Unit
def append_string (str : java.lang.String, result : scala.StringBuilder) : Unit
def encode_list [A](append_elem : (A, scala.StringBuilder) => Unit, elems : scala.Iterable[A]) : java.lang.String
def encode_properties (props : scala.List[(java.lang.String, java.lang.String)]) : java.lang.String
def encode_string (str : java.lang.String) : java.lang.String
Methods inherited from AnyRef
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized
Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf
Method Details
def append_string(str : java.lang.String, result : scala.StringBuilder) : Unit

def encode_string(str : java.lang.String) : java.lang.String

def append_list[A](append_elem : (A, scala.StringBuilder) => Unit, body : scala.Iterable[A], result : scala.StringBuilder) : Unit

def encode_list[A](append_elem : (A, scala.StringBuilder) => Unit, elems : scala.Iterable[A]) : java.lang.String

def append_properties(props : scala.List[(java.lang.String, java.lang.String)], result : scala.StringBuilder) : Unit

def encode_properties(props : scala.List[(java.lang.String, java.lang.String)]) : java.lang.String