// writes a wrapped type definition for a given type
private void WriteTypeDefinition(StonTokenWriter writer, IStonType type)
{
if (type == null)
{
return;
}
writer.Write('<');
WriteType(writer, type);
writer.Write('>');
}
// writes a binding index
private void WriteBindingKey(StonTokenWriter writer, IStonBindingIndex bindingKey)
{
if (bindingKey.Parameters == null)
{
throw new StonException("A member binding index cannot have non-existing parameters.");
}
writer.Write('[');
WriteSequence(writer, bindingKey.Parameters, WriteEntity);
writer.Write(']');
}
// writes a reference defining initial context or an ancestor initial context
private void WriteInitialContext(StonTokenWriter writer, IStonAncestorInitialContext context)
{
if (context.AncestorOrder == 0)
{
writer.Write('$');
}
else
{
writer.Write(new string('^', context.AncestorOrder));
}
}
// writes a colleciton type
private void WriteType(StonTokenWriter writer, IStonCollectionType type)
{
if (type.ElementType is IStonUnionType)
{
writer.Write('<');
}
WriteType(writer, type.ElementType);
if (type.ElementType is IStonUnionType)
{
writer.Write('>');
}
writer.Write("[]");
}
// writes a document core initial context or a globally identified entity initial context
private void WriteInitialContext(StonTokenWriter writer, IStonGlobalEntityInitialContext context)
{
if (context.GlobalIdentifier == null)
{
throw new StonException("A global entity initial context must have an existing global identifier.");
}
else if (context.GlobalIdentifier == "")
{
writer.Write("^*");
}
else
{
writer.Write("@" + context.GlobalIdentifier);
}
}
// writes a collection inititialization component of a complex value
private void WriteCollectionInit(StonTokenWriter writer, IStonCollectionInit collectionInit)
{
if (collectionInit == null)
{
return;
}
if (collectionInit.Elements == null)
{
throw new StonException("A complex value collection initialization cannot have a non-existing elements collection.");
}
writer.Write('[');
WriteSequence(writer, collectionInit.Elements, WriteEntity);
writer.Write(']');
}
// writes a named member access path segment or an indexed member access path segment
private void WritePathSegment(StonTokenWriter writer, IStonMemberPathSegment segment)
{
if (segment.BindingKey is IStonBindingName)
{
writer.Write('.');
}
WriteBindingKey(writer, segment.BindingKey);
}
// writes a binding name
private void WriteBindingKey(StonTokenWriter writer, IStonBindingName bindingKey)
{
if (bindingKey.IsExtension)
{
writer.Write('!');
}
WriteStringLiteral(writer, bindingKey.Name);
}
// writes a construction component of a complex value
private void WriteConstruction(StonTokenWriter writer, IStonConstruction construction)
{
if (construction == null)
{
return;
}
if (construction.PositionalParameters == null)
{
throw new StonException("A complex value construction cannot have a non-existing positional parameters collection.");
}
if (construction.NamedParameters == null)
{
throw new StonException("A complex value construction cannot have a non-existing named parameters collection.");
}
writer.Write('(');
// writing positional parameters
WriteSequence(
writer,
construction.PositionalParameters,
(w, p) => { w.Write(':'); WriteEntity(w, p); }
);
// a comma between positional and named parameters, if both types of parameters are present
// it is necessary, because positional parameters sequence and named parameters sequence are written separately
if (construction.PositionalParameters.Any() && construction.NamedParameters.Any())
{
writer.Write(',');
}
// writing named parameters
WriteSequence(
writer,
construction.NamedParameters,
(w, p) => {
WriteStringLiteral(w, p.Key);
w.Write(':');
WriteEntity(w, p.Value);
}
);
writer.Write(')');
}
// writes a named type
private void WriteType(StonTokenWriter writer, IStonNamedType type)
{
if (type.TypeParameters == null)
{
throw new StonException("A named type cannot have a non-existing type parameters collection.");
}
if (type.IsExtension)
{
writer.Write('!');
}
WriteStringLiteral(writer, type.Name);
if (type.TypeParameters.Any())
{
writer.Write('<');
WriteSequence(writer, type.TypeParameters, WriteType);
writer.Write('>');
}
}
// writes a global identifier, or nothing if the identifier is not present
private void WriteGlobalIdentifier(StonTokenWriter writer, string globalIdentifier)
{
if (globalIdentifier == null)
{
return;
}
else
{
writer.Write("&" + globalIdentifier + "=");
}
}
// writes a member initialization component of a complex value
private void WriteMemberInit(StonTokenWriter writer, IStonMemberInit memberInit)
{
if (memberInit == null)
{
return;
}
if (memberInit.MemberBindings == null)
{
throw new StonException("A complex value member initialization cannot have a non-existing member bindings collection.");
}
writer.Write('{');
WriteSequence(
writer,
memberInit.MemberBindings,
(w, mb) => { WriteBindingKey(w, mb.Key); w.Write(':'); WriteEntity(w, mb.Value); }
);
writer.Write('}');
}
// writes a union type
private void WriteType(StonTokenWriter writer, IStonUnionType type)
{
bool first = true;
foreach (var permittedType in type.PermittedTypes)
{
if (!first)
{
writer.Write('|');
}
if (permittedType is IStonUnionType)
{
writer.Write('<');
}
WriteType(writer, permittedType);
if (permittedType is IStonUnionType)
{
writer.Write('>');
}
first = false;
}
}
// writes a sequence of elements, using a given element writing method
private void WriteSequence <TElement>(StonTokenWriter writer, IEnumerable <TElement> elements, Action <StonTokenWriter, TElement> elementWriting)
{
bool first = true;
foreach (var element in elements)
{
if (!first)
{
writer.Write(',');
}
elementWriting(writer, element);
first = false;
}
}
// writes a simple value, depending on its data type
private void WriteSimpleValue(StonTokenWriter writer, IStonSimpleValue value)
{
if (value == null)
{
throw new StonException("A simple-valued entity cannot have a non-existing value.");
}
switch (value.DataType)
{
case StonDataType.Null:
writer.Write("null");
break;
case StonDataType.Number:
writer.WriteCanonicalNumberLiteral(value.Content);
break;
case StonDataType.Binary:
writer.WriteBinaryLiteral(value.Content);
break;
case StonDataType.Named:
writer.Write(value.Content);
break;
case StonDataType.Text:
writer.WriteStringLiteral(value.Content, '"');
break;
case StonDataType.Code:
writer.WriteStringLiteral(value.Content, '`');
break;
default:
throw new StonException($"Unknown simple value data type: { (int)value.DataType }.");
}
}
// writes a collection element access path segment
private void WritePathSegment(StonTokenWriter writer, IStonCollectionElementPathSegment segment)
{
writer.Write("[#");
WriteEntity(writer, segment.ElementIndex);
writer.Write(']');
}
// writes an ancestor access path segment
private void WritePathSegment(StonTokenWriter writer, IStonAncestorPathSegment segment)
{
writer.Write('.');
writer.Write(new string('^', segment.AncestorOrder));
}