////////////////////////////////////////////////////////////////////////// // IO ////////////////////////////////////////////////////////////////////////// public static FTypeRef read(FStore.Input input) { FPod fpod = input.fpod; string podName = fpod.name(input.u2()); string typeName = fpod.name(input.u2()); string sig = input.utf(); // full sig if parameterized, "?" if nullable, or "" return(new FTypeRef(podName, typeName, sig)); }
private void facets(FStore.Input input) { input.u2(); int n = input.u2(); m_facets = new FFacet[n]; for (int i = 0; i < n; ++i) { FFacet f = m_facets[i] = new FFacet(); f.type = input.u2(); f.val = input.utf(); } }
public override FTable read(FStore.Input input) { if (input == null) { m_size = 0; return(this); } m_size = input.u2(); m_table = new object[m_size]; for (int i = 0; i < m_size; i++) { m_table[i] = String.Intern(input.utf()); } return(this); }
public override FTable read(FStore.Input input) { if (input == null) { m_size = 0; return(this); } m_size = input.u2(); m_table = new object[m_size]; for (int i = 0; i < m_size; i++) { m_table[i] = FanDecimal.fromStr(input.utf(), true); } return(this); }
private void sourceFile(FStore.Input input) { input.u2(); m_sourceFile = input.utf(); }