Package | Description |
---|---|
de.uka.ilkd.key.pp |
This package contains pretty-printing functionality used by the GUI and for
saving proofs.
|
Modifier and Type | Class and Description |
---|---|
class |
CharListNotation |
static class |
Notation.CastFunction
The standard concrete syntax for casts.
|
static class |
Notation.Constant
The standard concrete syntax for constants like true and false.
|
static class |
Notation.ElementaryUpdateNotation
The standard concrete syntax for elementary updates.
|
static class |
Notation.ElementOfNotation
The standard concrete syntax for the element of operator.
|
static class |
Notation.FunctionNotation
The standard concrete syntax for function and predicate terms.
|
static class |
Notation.HeapConstructorNotation
The standard concrete syntax for heap constructors.
|
static class |
Notation.IfThenElse
The standard concrete syntax for conditional terms
if (phi) (t1) (t2) . |
static class |
Notation.Infix
The standard concrete syntax for infix operators.
|
static class |
Notation.LabelNotation |
static class |
Notation.ModalityNotation
The standard concrete syntax for DL modalities box and diamond.
|
static class |
Notation.ModalSVNotation
The concrete syntax for DL modalities represented with a
SchemaVariable.
|
static class |
Notation.ParallelUpdateNotation
The standard concrete syntax for parallel updates
|
static class |
Notation.Postfix
The standard concrete syntax for length.
|
static class |
Notation.Prefix
The standard concrete syntax for prefix operators.
|
static class |
Notation.Quantifier
The standard concrete syntax for quantifiers.
|
static class |
Notation.SchemaVariableNotation |
static class |
Notation.SelectNotation
The standard concrete syntax for select.
|
static class |
Notation.SeqConcatNotation |
static class |
Notation.SeqGetNotation |
static class |
Notation.SeqSingletonNotation
The standard concrete syntax for sequence singletons.
|
static class |
Notation.SingletonNotation
The standard concrete syntax for singleton sets.
|
static class |
Notation.StoreNotation
The standard concrete syntax for store.
|
static class |
Notation.Subst
The standard concrete syntax for substitution terms.
|
static class |
Notation.UpdateApplicationNotation
The standard concrete syntax for update application.
|
static class |
Notation.VariableNotation
The standard concrete syntax for all kinds of variables.
|
Modifier and Type | Method and Description |
---|---|
java.util.Map<java.lang.Object,Notation> |
NotationInfo.getNotationTable() |
Copyright © 2003-2019 The KeY-Project.