A BinaryWriter will write types to a binary output stream. The types should be read back from the stream using BinaryReader .
BinaryWriter
BinaryReader
NOTE: Under-the-hood, this class is essentially a wrapper for BinaryAutomataWriter.
BinaryAutomataWriter
11671168116911701171117211731174117511761177
public void writeCodeLambda(Code codIn){ int targ; int cnt; int foo; int tok; Type typ; String nam; String lin; String dtyp; String sig = "++"; // ***** must change this
12901291129212931294129512961297129812991300
return; } public void writeCodeTryEnd(Code codIn){ String nam; Type typ; String dtyp; Integer reg; int opr; ArrayList<Pair<Type, String>> dsp; int idx = this.tcStack.size()-1;
15311532153315341535153615371538153915401541
return; } public void writeCodeIfIs(Code codIn){ int lhs; Type rhs; String target; String dtyp; //bodyAddLineNL( "// HELP needed for IfIs" ); Codes.IfIs cod = (Codes.IfIs) codIn;
17491750175117521753175417551756175717581759
public void writeCodeUpdate(Code codIn){ String tmp; int targ, rhs, ofs; int cnt; Type typ; String lin; String backFix; ArrayList<String> flds; Codes.LVal lv; int idx;
22222223222422252226222722282229223022312232
public void writeCodeConvert(Code codIn){ String tmp; String dtyp; int tgt, opr; Type ntyp, otyp; Codes.Convert cod = (Codes.Convert) codIn; tgt = cod.target(); opr = cod.operand(0); ntyp = cod.result;
23342335233623372338233923402341234223432344
//final Integer intMax = (Integer) 2147483647; final BigInteger bigIntMax = new BigInteger("2147483647"); final Constant.Integer wyIntMax = Constant.V_INTEGER(bigIntMax); String ans = ""; String tmp; Type typ; String rval; String assn = null; int alt; int cnt; int tok;
518519520521522523524525526527528
String lin; String ans = ""; Code.Block strain = typDe.invariant(); List<Modifier> mods = typDe.modifiers(); Type typ = typDe.type(); List<Attribute> atts = typDe.attributes(); lin = "#" + idx; lin += "(" + atts.size() + ":" + mods.size() + ")"; lin += " is named " + typDe.name();
375137523753375437553756375737583759
@Test public void test_3719() { checkIsSubtype("null","null"); } @Test public void test_3720() { checkIsSubtype("null","null"); } @Test public void test_3721() { checkIsSubtype("null","null"); } private void checkIsSubtype(String from, String to) { Type ft = Type.fromString(from); Type tt = Type.fromString(to); assertTrue(Type.isSubtype(ft,tt)); }
375637573758375937603761376237633764
Type ft = Type.fromString(from); Type tt = Type.fromString(to); assertTrue(Type.isSubtype(ft,tt)); } private void checkNotSubtype(String from, String to) { Type ft = Type.fromString(from); Type tt = Type.fromString(to); assertFalse(Type.isSubtype(ft,tt)); }