1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
package com.seaofnodes.simple;
import com.seaofnodes.simple.type.*;
import com.seaofnodes.simple.util.Utils;
/**
* The tracked fields are now complex enough to deserve a array-of-structs layout
*/
public class Var {
public final String _name; // Declared name
// These fields are not final for forward reference late updates or
// promotions.
public int _idx; // index in containing scope
private Type _type; // Declared type
public boolean _final; // Final field
public boolean _fref; // Forward ref
// Parser-only definite-initialization marker. The current binding's
// nullable type carries the path-sensitive state through SSA merges.
public boolean _uninit;
public int _extern; // C storage alias; zero for ordinary variables
public Parser.Lexer _loc; // Source location
public Var(int idx, String name, Type type, boolean xfinal, Parser.Lexer loc ) {
this(idx,name,type,xfinal,loc,false);
}
public Var(int idx, String name, Type type, boolean xfinal, Parser.Lexer loc, boolean fref) {
_idx = idx;
_name = name;
_type = type;
_final = xfinal;
_fref = fref;
_loc = loc;
}
public Type type() { return _type; }
public Type _type() { return _type; } // ScopeNode printer needs to have no side effects
// Forward reference variables (not types) must be BOTTOM and
// distinct from inferred variables
public boolean isFRef() { return _fref; }
public void defFRef( Type type, boolean xfinal, Parser.Lexer loc ) {
assert isFRef() && xfinal;
_type = type;
_final = true;
_fref = false;
_loc = loc;
}
@Override public String toString() {
return (_fref ? "FREF " : "")+(_uninit ? "UNINIT " : "")+_type.toString()+(_final ? " ": " !")+_name;
}
}
|
