private SymbolAtom ParseDelimiter(SourceSpan value, int start, ref int position)
{
var delimiter = ReadElement(value, ref position);
string delimiterName;
if (delimiter.Length == 1)
{
delimiterName = GetDelimeterMapping(delimiter[0]);
}
else
{
if (delimiter[0] != escapeChar)
{
throw new Exception($"Incorrect parser state: delimiter should start from {escapeChar}: {delimiter}");
}
// Here goes the fancy business: for non-alphanumeric commands (e.g. \{, \\ etc.) we need to pass them
// through GetDelimeterMapping, but for alphanumeric ones, we don't.
delimiterName = delimiter.Segment(1).ToString(); // skip an escape character
if (delimiterName.Length == 1 && !char.IsLetterOrDigit(delimiterName[0]))
{
delimiterName = GetDelimeterMapping(delimiterName[0]);
}
}
var delimiterSource = value.Segment(start, position - start); // will map the whole "\left(" to a delimiter atom created
if (delimiterName == null || !SymbolAtom.TryGetAtom(delimiterName, delimiterSource, out var atom) || !atom.IsDelimeter)
{
throw new TexParseException($"Cannot find delimiter {delimiter}");
}
return(atom);
}
private void ProcessEscapeSequence(
TexFormula formula,
string value,
ref int position,
bool allowClosingDelimiter,
ref bool closedDelimiter)
{
var result = new StringBuilder();
position++;
while (position < value.Length)
{
var ch = value[position];
var isEnd = position == value.Length - 1;
if (!char.IsLetter(ch) || isEnd)
{
// Escape sequence has ended
// Or it's a symbol. Assuming in this case it will only be a single char.
if ((isEnd && char.IsLetter(ch)) || result.Length == 0)
{
result.Append(ch);
position++;
}
break;
}
result.Append(ch);
position++;
}
var command = result.ToString();
SymbolAtom symbolAtom = null;
TexFormula predefinedFormula = null;
if (SymbolAtom.TryGetAtom(command, out symbolAtom))
{
// Symbol was found.
if (symbolAtom.Type == TexAtomType.Accent)
{
TexFormulaHelper helper = new TexFormulaHelper(formula);
TexFormula accentFormula = ReadScript(formula, value, ref position);
helper.AddAccent(accentFormula, symbolAtom.Name);
}
else if (symbolAtom.Type == TexAtomType.BigOperator)
{
var opAtom = new BigOperatorAtom(symbolAtom, null, null);
formula.Add(AttachScripts(formula, value, ref position, opAtom));
}
else
{
formula.Add(AttachScripts(formula, value, ref position, symbolAtom));
}
}
else if (predefinedFormulas.TryGetValue(command, out predefinedFormula))
{
// Predefined formula was found.
formula.Add(AttachScripts(formula, value, ref position, predefinedFormula.RootAtom));
}
else if (command.Equals("nbsp"))
{
// Space was found.
formula.Add(AttachScripts(formula, value, ref position, new SpaceAtom()));
}
else if (textStyles.Contains(command))
{
// Text style was found.
SkipWhiteSpace(value, ref position);
var styledFormula = Parse(ReadGroup(formula, value, ref position, leftGroupChar, rightGroupChar), command);
if (styledFormula.RootAtom == null)
{
throw new TexParseException("Styled text can't be empty!");
}
formula.Add(AttachScripts(formula, value, ref position, styledFormula.RootAtom));
}
else if (commands.Contains(command))
{
// Command was found.
var commandAtom = ProcessCommand(
formula,
value,
ref position,
command,
allowClosingDelimiter,
ref closedDelimiter);
commandAtom = allowClosingDelimiter ?
commandAtom :
AttachScripts(
formula,
value,
ref position,
commandAtom);
formula.Add(commandAtom);
}
else
{
// Escape sequence is invalid.
throw new TexParseException("Unknown symbol or command or predefined TeXFormula: '" + command + "'");
}
}
private void ProcessEscapeSequence(TexFormula formula,
SourceSpan value,
ref int position,
bool allowClosingDelimiter,
ref bool closedDelimiter,
ICommandEnvironment environment)
{
var initialSrcPosition = position;
position++;
var start = position;
while (position < value.Length)
{
var ch = value[position];
var isEnd = position == value.Length - 1;
if (!char.IsLetter(ch) || isEnd)
{
// Escape sequence has ended
// Or it's a symbol. Assuming in this case it will only be a single char.
if ((isEnd && char.IsLetter(ch)) || position - start == 0)
{
position++;
}
break;
}
position++;
}
var commandSpan = value.Segment(start, position - start);
var command = commandSpan.ToString();
var formulaSource = new SourceSpan(value.Source, initialSrcPosition, commandSpan.End);
SymbolAtom symbolAtom = null;
if (SymbolAtom.TryGetAtom(commandSpan, out symbolAtom))
{
// Symbol was found.
if (symbolAtom.Type == TexAtomType.Accent)
{
var helper = new TexFormulaHelper(formula, formulaSource);
TexFormula accentFormula = ReadScript(formula, value, ref position, environment);
helper.AddAccent(accentFormula, symbolAtom.Name);
}
else if (symbolAtom.Type == TexAtomType.BigOperator)
{
var opAtom = new BigOperatorAtom(formulaSource, symbolAtom, null, null);
formula.Add(AttachScripts(formula, value, ref position, opAtom, true, environment), formulaSource);
}
else
{
formula.Add(
AttachScripts(formula, value, ref position, symbolAtom, true, environment), formulaSource);
}
}
else if (predefinedFormulas.TryGetValue(command, out var factory))
{
// Predefined formula was found.
var predefinedFormula = factory(formulaSource);
var atom = AttachScripts(formula, value, ref position, predefinedFormula.RootAtom, true, environment);
formula.Add(atom, formulaSource);
}
else if (command.Equals("nbsp"))
{
// Space was found.
var atom = AttachScripts(formula, value, ref position, new SpaceAtom(formulaSource), true, environment);
formula.Add(atom, formulaSource);
}
else if (textStyles.Contains(command))
{
// Text style was found.
SkipWhiteSpace(value, ref position);
var styledFormula = command == TexUtilities.TextStyleName
? ConvertRawText(ReadElement(value, ref position), command)
: Parse(ReadElement(value, ref position), command, environment.CreateChildEnvironment());
var source = value.Segment(start, position - start);
var atom = styledFormula.RootAtom ?? new NullAtom(source);
var commandAtom = AttachScripts(formula, value, ref position, atom, true, environment);
formula.Add(commandAtom, source);
}
else if (embeddedCommands.Contains(command) ||
environment.AvailableCommands.ContainsKey(command) ||
_commandRegistry.ContainsKey(command))
{
// Command was found.
var commandAtom = ProcessCommand(
formula,
value,
ref position,
command,
allowClosingDelimiter,
ref closedDelimiter,
environment);
if (commandAtom != null)
{
commandAtom = allowClosingDelimiter
? commandAtom
: AttachScripts(
formula,
value,
ref position,
commandAtom,
true,
environment);
var source = new SourceSpan(formulaSource.Source, formulaSource.Start, commandAtom.Source.End);
formula.Add(commandAtom, source);
}
}
else
{
// Escape sequence is invalid.
throw new TexParseException("Unknown symbol or command or predefined TeXFormula: '" + command + "'");
}
}
private void ProcessEscapeSequence(
TexFormula formula,
SourceSpan value,
ref int position,
bool allowClosingDelimiter,
ref bool closedDelimiter)
{
var initialSrcPosition = position;
position++;
var start = position;
while (position < value.Length)
{
var ch = value[position];
var isEnd = position == value.Length - 1;
if (!char.IsLetter(ch) || isEnd)
{
// Escape sequence has ended
// Or it's a symbol. Assuming in this case it will only be a single char.
if ((isEnd && char.IsLetter(ch)) || position - start == 0)
{
position++;
}
break;
}
position++;
}
var commandSpan = value.Segment(start, position - start);
var command = commandSpan.ToString();
var formulaSource = new SourceSpan(value.Source, initialSrcPosition, commandSpan.End);
SymbolAtom symbolAtom = null;
if (SymbolAtom.TryGetAtom(commandSpan, out symbolAtom))
{
// Symbol was found.
if (symbolAtom.Type == TexAtomType.Accent)
{
var helper = new TexFormulaHelper(formula, formulaSource);
TexFormula accentFormula = ReadScript(formula, value, ref position);
helper.AddAccent(accentFormula, symbolAtom.Name);
}
else if (symbolAtom.Type == TexAtomType.BigOperator)
{
var opAtom = new BigOperatorAtom(formulaSource, symbolAtom, null, null);
formula.Add(this.AttachScripts(formula, value, ref position, opAtom), formulaSource);
}
else
{
formula.Add(this.AttachScripts(formula, value, ref position, symbolAtom), formulaSource);
}
}
else if (predefinedFormulas.TryGetValue(command, out var factory))
{
// Predefined formula was found.
var predefinedFormula = factory(formulaSource);
var atom = this.AttachScripts(formula, value, ref position, predefinedFormula.RootAtom);
formula.Add(atom, formulaSource);
}
else if (command.Equals("nbsp"))
{
// Space was found.
var atom = this.AttachScripts(formula, value, ref position, new SpaceAtom(formulaSource));
formula.Add(atom, formulaSource);
}
else if (textStyles.Contains(command))
{
// Text style was found.
this.SkipWhiteSpace(value, ref position);
var styledFormula = Parse(ReadGroup(formula, value, ref position, leftGroupChar, rightGroupChar), command);
if (styledFormula.RootAtom == null)
{
throw new TexParseException("Styled text can't be empty!");
}
var atom = this.AttachScripts(formula, value, ref position, styledFormula.RootAtom);
var source = new SourceSpan(formulaSource.Source, formulaSource.Start, position);
formula.Add(atom, source);
}
else if (commands.Contains(command))
{
// Command was found.
var commandAtom = this.ProcessCommand(
formula,
value,
ref position,
command,
allowClosingDelimiter,
ref closedDelimiter);
commandAtom = allowClosingDelimiter
? commandAtom
: AttachScripts(
formula,
value,
ref position,
commandAtom);
var source = new SourceSpan(formulaSource.Source, formulaSource.Start, commandAtom.Source.End);
formula.Add(commandAtom, source);
}
else
{
// this.AttachScripts(formula, value, ref position, );
position = initialSrcPosition;
var fallbackSpan = new SourceSpan(value.Source, start, commandSpan.End);
var escapeAtom =
this.AttachScripts(
formula,
value,
ref position,
new CharAtom(new SourceSpan(value.Source, position, 1), '\\'),
true); // this.ConvertCharacter(formula, ref position, new SourceSpan(value.Source,position,1));
var scriptsAtom = this.AttachScripts(
formula,
value,
ref position,
this.ConvertCharacter(formula, ref position, fallbackSpan),
true);
// formula.Add(scriptsAtom, formulaSource );
// Escape sequence is invalid.
//throw new TexParseException("Unknown symbol or command or predefined TeXFormula: '" + command + "'");
}
}