jmlparser-parent
Toggle table of contents
3.28.2-J8.0-K13.5-SNAPSHOT
jvm
Target filter
jvm
Switch theme
Search in API
Skip to content
jmlparser-parent
smt
/
io.github.jmltoolkit.smt.model
/
SExpr
SExpr
abstract
class
SExpr
(
var
javaType
:
ResolvedType
?
=
null
,
var
smtType
:
SmtType
?
=
null
)
:
AppendableTo
(
source
)
Author
Alexander Weigl
Inheritors
SAtom
SList
Members
Constructors
SExpr
Link copied to clipboard
constructor
(
javaType
:
ResolvedType
?
=
null
,
smtType
:
SmtType
?
=
null
)
Properties
java
Type
Link copied to clipboard
var
javaType
:
ResolvedType
?
smt
Type
Link copied to clipboard
var
smtType
:
SmtType
?
Functions
append
To
Link copied to clipboard
abstract
fun
appendTo
(
writer
:
PrintWriter
)
as
List
Link copied to clipboard
fun
asList
(
)
:
SList
as
Symbol
Value
Link copied to clipboard
fun
asSymbolValue
(
)
:
String
to
String
Link copied to clipboard
open
override
fun
toString
(
)
:
String