isabelle
Symbol
Related Doc:
package isabelle
object
Symbol
Linear Supertypes
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
Symbol
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Type Members
final
class
Index
extends
AnyRef
class
Matcher
extends
AnyRef
type
Offset
=
Int
type
Range
=
Text.Range
type
Symbol
=
String
final
class
Text_Chunk
extends
AnyRef
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
val
ARGUMENT_CARTOUCHE
:
String
symbol interpretation *
val
ARGUMENT_SPACE_CARTOUCHE
:
String
object
Index
object
Text_Chunk
def
abbrevs
:
Multi_Map
[
Symbol
,
String
]
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
ascii
(
c:
Char
)
:
Symbol
val
bold
:
String
def
bold_decoded
:
Symbol
val
bsub
:
String
def
bsub_decoded
:
Symbol
val
bsup
:
String
def
bsup_decoded
:
Symbol
val
cancel
:
Symbol
def
cancel_decoded
:
Symbol
def
cartouche
(
s:
String
)
:
String
def
cartouche_decoded
(
s:
String
)
:
String
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
val
close
:
Symbol
def
close_decoded
:
Symbol
def
codes
:
List
[(
Symbol
,
Int
)]
val
comment
:
Symbol
def
comment_decoded
:
Symbol
def
control_name
(
sym:
Symbol
)
:
Option
[
String
]
val
control_prefix
:
String
val
control_suffix
:
String
def
decode
(
text:
String
)
:
String
def
decode_strict
(
text:
String
)
:
String
def
decode_yxml
(
text:
String
)
:
Body
def
decode_yxml_failsafe
(
text:
String
)
:
Body
val
emph
:
String
def
emph_decoded
:
Symbol
def
encode
(
text:
String
)
:
String
def
encode_yxml
(
body:
Body
)
:
String
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
val
esub
:
String
def
esub_decoded
:
Symbol
val
esup
:
String
def
esup_decoded
:
Symbol
def
explode
(
text:
CharSequence
)
:
List
[
Symbol
]
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
def
font_index
:
Map
[
String
,
Int
]
def
font_names
:
List
[
String
]
def
fonts
:
Map
[
Symbol
,
String
]
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
groups
:
List
[(
String
,
List
[
Symbol
])]
def
groups_code
:
List
[(
String
,
List
[
Symbol
])]
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
def
is_ascii
(
s:
Symbol
)
:
Boolean
def
is_ascii_blank
(
c:
Char
)
:
Boolean
def
is_ascii_digit
(
c:
Char
)
:
Boolean
def
is_ascii_hex
(
c:
Char
)
:
Boolean
def
is_ascii_identifier
(
s:
String
)
:
Boolean
def
is_ascii_letdig
(
c:
Char
)
:
Boolean
def
is_ascii_letter
(
c:
Char
)
:
Boolean
def
is_ascii_quasi
(
c:
Char
)
:
Boolean
def
is_blank
(
sym:
Symbol
)
:
Boolean
def
is_close
(
sym:
Symbol
)
:
Boolean
lazy val
is_code
: (
Int
) ⇒
Boolean
def
is_control
(
sym:
Symbol
)
:
Boolean
def
is_control_encoded
(
sym:
Symbol
)
:
Boolean
def
is_controllable
(
sym:
Symbol
)
:
Boolean
def
is_digit
(
sym:
Symbol
)
:
Boolean
def
is_letdig
(
sym:
Symbol
)
:
Boolean
def
is_letter
(
sym:
Symbol
)
:
Boolean
def
is_malformed
(
s:
Symbol
)
:
Boolean
def
is_newline
(
s:
Symbol
)
:
Boolean
def
is_open
(
sym:
Symbol
)
:
Boolean
def
is_quasi
(
sym:
Symbol
)
:
Boolean
def
is_symbolic
(
sym:
Symbol
)
:
Boolean
def
is_symbolic_char
(
sym:
Symbol
)
:
Boolean
def
iterator
(
text:
CharSequence
)
:
Iterator
[
Symbol
]
val
latex
:
Symbol
def
latex_decoded
:
Symbol
def
length
(
text:
CharSequence
)
:
Int
def
lookup_font
(
sym:
Symbol
)
:
Option
[
Int
]
def
names
:
Map
[
Symbol
, (
String
,
String
)]
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
val
newline
:
Symbol
def
newline_decoded
:
Symbol
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
val
open
:
Symbol
def
open_decoded
:
Symbol
def
print_newlines
(
str:
String
)
:
String
def
properties
:
Map
[
Symbol
,
T
]
val
space
:
String
def
spaces
(
n:
Int
)
:
String
val
sub
:
String
def
sub_decoded
:
Symbol
val
sup
:
String
def
sup_decoded
:
Symbol
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toString
()
:
String
Definition Classes
AnyRef → Any
def
trim_blanks
(
text:
CharSequence
)
:
String
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
(
...
)
Inherited from
AnyRef
Inherited from
Any
Ungrouped