scala
.
scalanative
.
interflow
Interflow
Related Docs:
object Interflow
|
package interflow
class
Interflow
extends
Visit
with
Opt
with
NoOpt
with
Eval
with
Combine
with
Inline
with
PolyInline
with
Intrinsics
with
Log
Linear Supertypes
Log
,
Intrinsics
,
PolyInline
,
Inline
,
Combine
,
Eval
,
NoOpt
,
Opt
,
Visit
,
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
Interflow
Log
Intrinsics
PolyInline
Inline
Combine
Eval
NoOpt
Opt
Visit
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Instance Constructors
new
Interflow
(
mode:
Mode
)
(
implicit
linked:
Result
)
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
adapt
(
args:
Seq
[
Val
]
,
sig:
Type
)
(
implicit
state:
State
)
:
Seq
[
Val
]
Definition Classes
Inline
def
adapt
(
value:
Val
,
ty:
Type
)
(
implicit
state:
State
)
:
Val
Definition Classes
Inline
def
allTodo
()
:
Seq
[
Global
]
def
argumentTypes
(
name:
Global
)
:
Seq
[
Type
]
Definition Classes
Visit
val
arrayApplyIntrinsics
:
Set
[
Global
]
Definition Classes
Intrinsics
val
arrayIntrinsics
:
Set
[
Global
]
Definition Classes
Intrinsics
val
arrayLengthIntrinsic
:
Member
Definition Classes
Intrinsics
val
arrayUpdateIntrinsics
:
Set
[
Global
]
Definition Classes
Intrinsics
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
blockFresh
:
Fresh
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
def
combine
(
conv:
Conv
,
ty:
Type
,
value:
Val
)
(
implicit
state:
State
)
:
Val
Definition Classes
Combine
def
combine
(
comp:
Comp
,
ty:
Type
,
l:
Val
,
r:
Val
)
(
implicit
state:
State
)
:
Val
Definition Classes
Combine
def
combine
(
bin:
Bin
,
ty:
Type
,
l:
Val
,
r:
Val
)
(
implicit
state:
State
,
origPos:
Position
)
:
Val
Definition Classes
Combine
def
contextDepth
()
:
Int
def
debug
[
T
]
(
msg:
String
)
(
f: ⇒
T
)
:
T
Definition Classes
Log
def
duplicateName
(
name:
Global
,
argtys:
Seq
[
Type
]
)
:
Global
Definition Classes
Visit
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
eval
(
value:
Val
)
(
implicit
state:
State
,
origPos:
Position
)
:
Val
Definition Classes
Eval
def
eval
(
conv:
Conv
,
ty:
Type
,
value:
Val
)
(
implicit
state:
State
)
:
Val
Definition Classes
Eval
def
eval
(
comp:
Comp
,
ty:
Type
,
l:
Val
,
r:
Val
)
(
implicit
state:
State
)
:
Val
Definition Classes
Eval
def
eval
(
bin:
Bin
,
ty:
Type
,
l:
Val
,
r:
Val
)
(
implicit
state:
State
,
origPos:
Position
)
:
Val
Definition Classes
Eval
def
eval
(
op:
Op
)
(
implicit
state:
State
,
linked:
Result
,
origPos:
Position
)
:
Val
Definition Classes
Eval
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
getDone
(
name:
Global
)
:
Define
def
getModulePurity
(
name:
Global
)
:
Boolean
def
getOriginal
(
name:
Global
)
:
Define
def
hasContext
(
value:
String
)
:
Boolean
def
hasModulePurity
(
name:
Global
)
:
Boolean
def
hasOriginal
(
name:
Global
)
:
Boolean
def
hasStarted
(
name:
Global
)
:
Boolean
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
def
in
[
T
]
(
msg:
String
)
(
f: ⇒
T
)
:
T
Definition Classes
Log
def
inline
(
name:
Global
,
args:
Seq
[
Val
]
)
(
implicit
state:
State
,
linked:
Result
,
origPos:
Position
)
:
Val
Definition Classes
Inline
def
intrinsic
(
ty:
Type
,
name:
Global
,
rawArgs:
Seq
[
Val
]
)
(
implicit
state:
State
,
origPos:
Position
)
:
Option
[
Val
]
Definition Classes
Intrinsics
val
intrinsics
:
Set
[
Global
]
Definition Classes
Intrinsics
def
isBlacklisted
(
name:
Global
)
:
Boolean
def
isDone
(
name:
Global
)
:
Boolean
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
implicit
val
linked
:
Result
def
log
(
msg: ⇒
String
)
:
Unit
Definition Classes
Log
def
markBlacklisted
(
name:
Global
)
:
Unit
def
markStarted
(
name:
Global
)
:
Unit
def
maybeDone
(
name:
Global
)
:
Option
[
Define
]
def
maybeOriginal
(
name:
Global
)
:
Option
[
Define
]
def
mergeProcessor
:
MergeProcessor
val
mode
:
Mode
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
noOpt
(
defn:
Define
)
:
Unit
Definition Classes
NoOpt
def
noOptGlobal
(
name:
Global
)
:
Unit
Definition Classes
NoOpt
def
noOptInst
(
inst:
Inst
)
:
Unit
Definition Classes
NoOpt
def
noOptInsts
(
insts:
Seq
[
Inst
]
)
:
Unit
Definition Classes
NoOpt
def
noOptNext
(
next:
Next
)
:
Unit
Definition Classes
NoOpt
def
noOptOp
(
op:
Op
)
:
Unit
Definition Classes
NoOpt
def
noOptVal
(
value:
Val
)
:
Unit
Definition Classes
NoOpt
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
def
opt
(
name:
Global
)
:
Define
Definition Classes
Opt
def
originalFunctionType
(
name:
Global
)
:
Type
Definition Classes
Visit
def
originalName
(
name:
Global
)
:
Global
Definition Classes
Visit
def
polyInline
(
op:
Method
,
args:
Seq
[
Val
]
)
(
implicit
state:
State
,
linked:
Result
,
origPos:
Position
)
:
Val
Definition Classes
PolyInline
def
popBlockFresh
()
:
Unit
def
popContext
()
:
Unit
def
popMergeProcessor
()
:
Unit
def
popTodo
()
:
Global
def
process
(
insts:
Array
[
Inst
]
,
args:
Seq
[
Val
]
,
state:
State
,
doInline:
Boolean
,
retTy:
Type
)
(
implicit
originDefnPos:
Position
)
:
Seq
[
MergeBlock
]
Definition Classes
Opt
def
pushBlockFresh
(
value:
Fresh
)
:
Unit
def
pushContext
(
value:
String
)
:
Unit
def
pushMergeProcessor
(
value:
MergeProcessor
)
:
Unit
def
pushTodo
(
name:
Global
)
:
Unit
def
result
()
:
Seq
[
Defn
]
def
run
(
insts:
Array
[
Inst
]
,
offsets:
Map
[
Local
,
Int
]
,
from:
Local
)
(
implicit
state:
State
)
:
Cf
Definition Classes
Eval
def
setDone
(
name:
Global
,
value:
Define
)
:
Unit
def
setModulePurity
(
name:
Global
,
value:
Boolean
)
:
Unit
def
shallDuplicate
(
name:
Global
,
argtys:
Seq
[
Type
]
)
:
Boolean
Definition Classes
Visit
def
shallInline
(
name:
Global
,
args:
Seq
[
Val
]
)
(
implicit
state:
State
,
linked:
Result
)
:
Boolean
Definition Classes
Inline
def
shallOpt
(
name:
Global
)
:
Boolean
Definition Classes
Opt
def
shallPolyInline
(
op:
Method
,
args:
Seq
[
Val
]
)
(
implicit
state:
State
,
linked:
Result
)
:
Boolean
Definition Classes
PolyInline
def
shallVisit
(
name:
Global
)
:
Boolean
Definition Classes
Visit
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toString
()
:
String
Definition Classes
AnyRef → Any
def
visitDuplicate
(
name:
Global
,
argtys:
Seq
[
Type
]
)
:
Option
[
Define
]
Definition Classes
Visit
def
visitEntries
()
:
Unit
Definition Classes
Visit
def
visitEntry
(
name:
Global
)
:
Unit
Definition Classes
Visit
def
visitLoop
()
:
Unit
Definition Classes
Visit
def
visitMethod
(
name:
Global
)
:
Unit
Definition Classes
Visit
def
visitRoot
(
name:
Global
)
:
Unit
Definition Classes
Visit
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
(
...
)
def
withLogger
(
f: ((
String
) ⇒
Unit
) ⇒
Unit
)
:
Unit
Definition Classes
Log
Inherited from
Log
Inherited from
Intrinsics
Inherited from
PolyInline
Inherited from
Inline
Inherited from
Combine
Inherited from
Eval
Inherited from
NoOpt
Inherited from
Opt
Inherited from
Visit
Inherited from
AnyRef
Inherited from
Any
Ungrouped