ast
.
dsl
Expr
Related Doc:
package dsl
sealed
trait
Expr
extends
ASTNode
Type for value-carrying expressions.
Linear Supertypes
ASTNode
,
SourceMapped
,
AnyRef
,
Any
Known Subclasses
And
,
BasicFlowIdent
,
BoolExpr
,
BoolIdent
,
FlowConst
,
FlowContains
,
FlowEq
,
FlowExpr
,
FlowIdent
,
FlowInter
,
FlowIte
,
FlowNeq
,
FlowUnion
,
Iff
,
Implies
,
InstFlowIdent
,
Not
,
Or
,
PopCount
,
TypeValueFlowEmpty
,
TypeValueFlowIdent
Ordering
Alphabetic
By Inheritance
Inherited
Expr
ASTNode
SourceMapped
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Abstract Value Members
abstract
def
getType
(
ns:
Namespace
)
:
ScalarTypeExpr
Concrete 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
def
addAltLoc
(
loc:
InFile
)
:
Unit
Definition Classes
SourceMapped
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
def
location
:
SourceLocation
Gets the location.
Gets the location.
Definition Classes
SourceMapped
def
location_
(
loc:
SourceLocation
)
:
Unit
Sets the location.
Sets the location.
Definition Classes
SourceMapped
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
def
otherOpLocation
:
List
[
InFile
]
Definition Classes
SourceMapped
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
(
...
)
Inherited from
ASTNode
Inherited from
SourceMapped
Inherited from
AnyRef
Inherited from
Any
Ungrouped
Type for value-carrying expressions.