Checker

hscript.Checker (Class)

Static Members

typeStr(t: Anonymous): String
Name Type
t Anonymous
Returns
String

typeIter(t: Anonymous, callb: Function): Void
Name Type
t Anonymous
callb Function

Instance Members


allowAsync: Bool

allowReturn: Null<Anonymous>

allowGlobalsDefine: Bool

allowUntypedMeta: Bool

setGlobals(cl: CClass, ?allowPrivate: Bool = false): Void
Name Type Default
cl CClass
allowPrivate Bool false

removeGlobal(name: String): Void
Name Type
name String

setGlobal(name: String, type: Anonymous): Void
Name Type
name String
type Anonymous

setEvent(name: String, type: Anonymous): Void
Name Type
name String
type Anonymous

getGlobals(): Map
Returns
Map

onTopDownEnum(en: CEnum, field: String): Bool
Name Type
en CEnum
field String
Returns
Bool

check(expr: Expr, ?withType: Anonymous, ?isCompletion: Bool = false): Anonymous
Name Type Default
expr Expr
withType Anonymous (optional)
isCompletion Bool false
Returns
Anonymous

tryUnify(t1: Anonymous, t2: Anonymous): Bool
Name Type
t1 Anonymous
t2 Anonymous
Returns
Bool

unify(t1: Anonymous, t2: Anonymous, e: Expr): Void
Name Type
t1 Anonymous
t2 Anonymous
e Expr

apply(t: Anonymous, params: Array<Anonymous>, args: Array<Anonymous>): Anonymous
Name Type
t Anonymous
params Array
args Array
Returns
Anonymous

mapType(t: Anonymous, f: Function): Anonymous
Name Type
t Anonymous
f Function
Returns
Anonymous

follow(t: Anonymous): Anonymous
Name Type
t Anonymous
Returns
Anonymous

getFields(t: Anonymous): Array<AnonStruct>
Name Type
t Anonymous
Returns
Array

unasync(t: Anonymous): Anonymous
Name Type
t Anonymous
Returns
Anonymous

new(?types: CheckerTypes): Void
Name Type Default
types CheckerTypes (optional)

Private Members

locals: Map

globals: Map

events: Map

currentFunType: Anonymous

isCompletion: Bool

allowDefine: Bool

hasReturn: Bool

typeArgs(args: Array<Argument>, pos: Expr): Array<AnonStruct>
Name Type
args Array<Argument>
pos Expr
Returns
Array

edef(e: Expr): Anonymous
Name Type
e Expr
Returns
Anonymous

error(msg: String, curExpr: Expr): Void
Name Type
msg String
curExpr Expr

saveLocals(): haxe.ds.Map<String, Null<Anonymous>>
Returns
haxe.ds.Map<String, Null>

makeType(t: Anonymous, e: Expr): Anonymous
Name Type
t Anonymous
e Expr
Returns
Anonymous

linkLoop(a: Anonymous, t: Anonymous): Bool
Name Type
a Anonymous
t Anonymous
Returns
Bool

Name Type
a Anonymous
b Anonymous
r AnonStruct
Returns
Bool

typeEq(t1: Anonymous, t2: Anonymous): Bool
Name Type
t1 Anonymous
t2 Anonymous
Returns
Bool

getField(t: Anonymous, f: String, e: Expr, ?forWrite: Bool = false): Null<Anonymous>
Name Type Default
t Anonymous
f String
e Expr
forWrite Bool false
Returns
Null

typeExprWith(expr: Expr, t: Anonymous): Anonymous
Name Type
expr Expr
t Anonymous
Returns
Anonymous

makeMono(): Anonymous
Returns
Anonymous

makeIterator(t: Anonymous): Anonymous
Name Type
t Anonymous
Returns
Anonymous

mk(e: Anonymous, p: AnonStruct): Expr
Name Type
e Anonymous
p AnonStruct
Returns
Expr

isString(t: Anonymous): Bool
Name Type
t Anonymous
Returns
Bool

onCompletion(expr: Expr, t: Anonymous): Void
Name Type
expr Expr
t Anonymous

typeField(o: Expr, f: String, expr: Expr, forWrite: Bool): Null<Anonymous>
Name Type
o Expr
f String
expr Expr
forWrite Bool
Returns
Null

typeExpr(expr: Expr, withType: Anonymous): Anonymous
Name Type
expr Expr
withType Anonymous
Returns
Anonymous

getIteratorType(it: Expr, itt: Anonymous): Anonymous
Name Type
it Expr
itt Anonymous
Returns
Anonymous