/// <summary>
/// Defines a new auto-implemented property to the type.
/// </summary>
/// <param name="name">The name of the property. <paramref name="name"/> cannot contain embedded nulls.</param>
/// <param name="type">The type of the property.</param>
/// <param name="methodAttributes">A bitwise combination of the accessor method attributes.</param>
/// <param name="initializer">The expression which is not reduced to be <see cref="LambdaExpression"/> for the initializer of the backing field, with a parameter for "this" instance, returns <paramref name="type"/> value.</param>
/// <returns>The defined property.</returns>
public PropertyBuilder DefineProperty(
String name,
Type type,
MethodAttributes methodAttributes,
Expression initializer
)
{
return(this.DefineProperty(name, type, methodAttributes, initializer, YacqExpression.List(), YacqExpression.List()));
}
public override DynamicMetaObject FallbackInvoke(DynamicMetaObject target, DynamicMetaObject[] args, DynamicMetaObject errorSuggestion)
{
try
{
return(new DynamicMetaObject(
YacqExpression.List(this._symbols,
args.SelectAll(o => o.Expression.Reduce(this._symbols).TryConvert(target.RuntimeType))
.StartWith(target.Expression.Reduce(this._symbols).TryConvert(target.RuntimeType))
).Reduce(this._symbols).TryConvert(typeof(Object)),
target.Restrictions
));
}
catch (Exception ex)
{
return(errorSuggestion
?? new DynamicMetaObject(
Expression.Throw(Expression.Constant(ex), typeof(Object)),
BindingRestrictions.Empty
));
}
}
public override Expression Deserialize()
{
return(YacqExpression.List(
this.Elements.Null(_ => _.Select(n => n.Deserialize()))
));
}
internal StandardGrammar()
{
this._isReadOnly = false;
var newline = Combinator.Choice(
Chars.Sequence("\r\n"),
Chars.OneOf('\r', '\n', '\x85', '\u2028', '\u2029')
.Select(EnumerableEx.Return)
).Select(_ => Environment.NewLine);
var punctuation = Chars.OneOf('"', '\'', '(', ')', ',', '.', ':', ';', '[', ']', '`', '{', '}');
Parser <Char, YacqExpression> expressionRef = null;
var expression = new Lazy <Parser <Char, YacqExpression> >(
() => stream => expressionRef(stream)
);
this.Add("yacq", "expression", g => expression.Value);
// Comments
{
this.Add("comment", "eol", g => Prims.Pipe(
';'.Satisfy(),
newline.Not().Right(Chars.Any()).Many(),
newline.Ignore().Or(Chars.Eof()),
(p, r, s) => (YacqExpression)YacqExpression.Ignore()
));
Parser <Char, YacqExpression> blockCommentRef = null;
Parser <Char, YacqExpression> blockCommentRestRef = null;
var blockComment = new Lazy <Parser <Char, YacqExpression> >(
() => stream => blockCommentRef(stream)
);
var blockCommentRest = new Lazy <Parser <Char, YacqExpression> >(
() => stream => blockCommentRestRef(stream)
);
var blockCommentPrefix = Chars.Sequence("#|");
var blockCommentSuffix = Chars.Sequence("|#");
blockCommentRef = blockCommentPrefix
.Right(blockCommentRest.Value.Many())
.Left(blockCommentSuffix)
.Select(_ => (YacqExpression)YacqExpression.Ignore());
blockCommentRestRef = blockCommentPrefix.Not()
.Right(blockCommentSuffix.Not())
.Right(Chars.Any())
.Select(_ => (YacqExpression)YacqExpression.Ignore())
.Or(blockComment.Value);
this.Add("comment", "block", g => blockComment.Value);
this.Add("comment", "expression", g => Prims.Pipe(
Chars.Sequence("#;"),
g["yacq", "expression"],
(p, r) => (YacqExpression)YacqExpression.Ignore()
));
this.Add("yacq", "comment", g => Combinator.Choice(g["comment"]));
}
this.Add("yacq", "ignore", g => Combinator.Choice(
this.Get["yacq", "comment"].Ignore(),
Chars.Space().Ignore(),
newline.Ignore()
).Many().Select(_ => (YacqExpression)YacqExpression.Ignore()));
// Texts
this.Add("term", "text", g => SetPosition(
Chars.OneOf('\'', '\"', '`')
.SelectMany(q => q.Satisfy()
.Not()
.Right('\\'.Satisfy()
.Right(q.Satisfy())
.Or(Chars.Any())
)
.Many()
.Left(q.Satisfy())
.Select(cs => cs.StartWith(q).EndWith(q))
)
.Select(cs => (YacqExpression)YacqExpression.Text(new String(cs.ToArray())))
));
// Numbers
{
var numberPrefix = Chars.OneOf('+', '-');
var numberSuffix = Combinator.Choice(
Chars.Sequence("ul"),
Chars.Sequence("UL"),
Chars.OneOf('D', 'F', 'L', 'M', 'U', 'd', 'f', 'l', 'm', 'u')
.Select(EnumerableEx.Return)
);
var digit = '_'.Satisfy().Many().Right(Chars.Digit());
var hexPrefix = Chars.Sequence("0x");
var hex = '_'.Satisfy().Many().Right(Chars.Hex());
var octPrefix = Chars.Sequence("0o");
var oct = '_'.Satisfy().Many().Right(Chars.Oct());
var binPrefix = Chars.Sequence("0b");
var bin = '_'.Satisfy().Many().Right(Chars.OneOf('0', '1'));
var fraction = Prims.Pipe(
'.'.Satisfy(),
digit.Many(1),
(d, ds) => ds.StartWith(d)
);
var exponent = Prims.Pipe(
Chars.OneOf('E', 'e'),
Chars.OneOf('+', '-').Maybe(),
digit.Many(1),
(e, s, ds) => ds
.If(_ => s.Exists(), _ => _.StartWith(s.Perform()))
.StartWith(e)
);
this.Add("term", "number", g => Combinator.Choice(
SetPosition(Prims.Pipe(
binPrefix,
bin.Many(1),
numberSuffix.Maybe(),
(p, n, s) => (YacqExpression)YacqExpression.Number(
new String(p.Concat(n).If(
_ => s.Exists(),
cs => cs.Concat(s.Perform())
).ToArray())
)
)),
SetPosition(Prims.Pipe(
octPrefix,
oct.Many(1),
numberSuffix.Maybe(),
(p, n, s) => (YacqExpression)YacqExpression.Number(
new String(p.Concat(n).If(
_ => s.Exists(),
cs => cs.Concat(s.Perform())
).ToArray())
)
)),
SetPosition(Prims.Pipe(
hexPrefix,
hex.Many(1),
numberSuffix.Maybe(),
(p, n, s) => (YacqExpression)YacqExpression.Number(
new String(p.Concat(n).If(
_ => s.Exists(),
cs => cs.Concat(s.Perform())
).ToArray())
)
)),
SetPosition(
numberPrefix.Maybe().SelectMany(p =>
digit.Many(1).SelectMany(i =>
fraction.Maybe().SelectMany(f =>
exponent.Maybe().SelectMany(e =>
numberSuffix.Maybe().Select(s =>
(YacqExpression)YacqExpression.Number(new String(EnumerableEx.Concat(
i.If(_ => p.Exists(), _ => _.StartWith(p.Perform())),
f.Otherwise(Enumerable.Empty <Char>),
e.Otherwise(Enumerable.Empty <Char>),
s.Otherwise(Enumerable.Empty <Char>)
).ToArray()))
)
)
)
)
)
)
));
}
// Lists
this.Add("term", "list", g => SetPosition(
g["yacq", "expression"]
.Between(g["yacq", "ignore"], g["yacq", "ignore"])
.Many()
.Between('('.Satisfy(), ')'.Satisfy())
.Select(es => (YacqExpression)YacqExpression.List(es))
));
// Vectors
this.Add("term", "vector", g => SetPosition(
g["yacq", "expression"]
.Between(g["yacq", "ignore"], g["yacq", "ignore"])
.Many()
.Between('['.Satisfy(), ']'.Satisfy())
.Select(es => (YacqExpression)YacqExpression.Vector(es))
));
// Lambda Lists
this.Add("term", "lambdaList", g => SetPosition(
g["yacq", "expression"]
.Between(g["yacq", "ignore"], g["yacq", "ignore"])
.Many()
.Between('{'.Satisfy(), '}'.Satisfy())
.Select(es => (YacqExpression)YacqExpression.LambdaList(es))
));
// Quotes
this.Add("term", "quote", g => SetPosition(
Prims.Pipe(
Chars.Sequence("#'"),
g["yacq", "expression"],
(p, e) => (YacqExpression)YacqExpression.List(YacqExpression.Identifier("quote"), e)
)
));
// Quasiquotes
this.Add("term", "quasiquote", g => SetPosition(
Prims.Pipe(
Chars.Sequence("#`"),
g["yacq", "expression"],
(p, e) => (YacqExpression)YacqExpression.List(YacqExpression.Identifier("quasiquote"), e)
)
));
// Unquote-Splicings
this.Add("term", "unquoteSplicing", g => SetPosition(
Prims.Pipe(
Chars.Sequence("#,@"),
g["yacq", "expression"],
(p, e) => (YacqExpression)YacqExpression.List(YacqExpression.Identifier("unquote-splicing"), e)
)
));
// Unquotes
this.Add("term", "unquote", g => SetPosition(
Prims.Pipe(
Chars.Sequence("#,"),
g["yacq", "expression"],
(p, e) => (YacqExpression)YacqExpression.List(YacqExpression.Identifier("unquote"), e)
)
));
// Identifiers
this.Add("term", "identifier", g => Combinator.Choice(
SetPosition('.'.Satisfy()
.Many(1)
.Select(cs => (YacqExpression)YacqExpression.Identifier(new String(cs.ToArray())))
),
SetPosition(':'.Satisfy()
.Many(1)
.Select(cs => (YacqExpression)YacqExpression.Identifier(new String(cs.ToArray())))
),
SetPosition(Chars.Digit()
.Not()
.Right(Chars.Space()
.Or(punctuation)
.Not()
.Right(Chars.Any())
.Many(1)
)
.Select(cs => (YacqExpression)YacqExpression.Identifier(new String(cs.ToArray())))
)
));
// Terms
this.Add("yacq", "term", g => Combinator.Choice(g["term"])
.Between(g["yacq", "ignore"], g["yacq", "ignore"])
);
// Infix Dots
this.Add("infix", "dot", g => Prims.Pipe(
g["yacq", "term"],
'.'.Satisfy()
.Right(g["yacq", "term"])
.Many(),
(h, t) => t.Aggregate(h, (l, r) =>
(YacqExpression)YacqExpression.List(YacqExpression.Identifier("."), l, r)
)
));
// Infix Colons
this.Add("infix", "colon", g => Prims.Pipe(
g["infix", "dot"],
':'.Satisfy()
.Right(g["infix", "dot"])
.Many(),
(h, t) => t.Aggregate(h, (l, r) =>
(YacqExpression)YacqExpression.List(YacqExpression.Identifier(":"), l, r)
)
));
expressionRef = this.Get["infix"].Last();
this.Set.Default = g => g["yacq", "expression"];
this._isReadOnly = true;
}