//////////////////////////////////////////////////////////////////////////
// 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();
}