public TypedAtom(SourceSpan source, Atom atom, TexAtomType leftType, TexAtomType rightType)
: base(source)
{
this.Atom = atom;
this.LeftType = leftType;
this.RightType = rightType;
}
public static Box CreateBox(TexAtomType leftAtomType, TexAtomType rightAtomType, TexEnvironment environment)
{
leftAtomType = leftAtomType > TexAtomType.Inner ? TexAtomType.Ordinary : leftAtomType;
rightAtomType = rightAtomType > TexAtomType.Inner ? TexAtomType.Ordinary : rightAtomType;
var glueType = glueRules[(int)leftAtomType, (int)rightAtomType, (int)environment.Style / 2];
return glueTypes[glueType].CreateBox(environment);
}
public SymbolAtom(string name, TexAtomType type, bool isDelimeter)
: base()
{
this.Type = type;
this.Name = name;
this.IsDelimeter = isDelimeter;
}
public AlphaNumericAtom(SourceSpan source,
string alphanumericsymbol, string defaultalphanumericsymbol = null,
TexAtomType type = TexAtomType.Ordinary) : base(source, type)
{
AlphanumericSymbol = alphanumericsymbol;
DefaultAlphanumericSymbol = defaultalphanumericsymbol ?? alphanumericsymbol;
}
public SymbolAtom(string name, TexAtomType type, bool isDelimeter)
: base()
{
this.Type = type;
this.Name = name;
this.IsDelimeter = isDelimeter;
}
public static Box CreateBox(TexAtomType leftAtomType, TexAtomType rightAtomType, TexEnvironment environment)
{
leftAtomType = leftAtomType > TexAtomType.Inner ? TexAtomType.Ordinary : leftAtomType;
rightAtomType = rightAtomType > TexAtomType.Inner ? TexAtomType.Ordinary : rightAtomType;
var glueType = glueRules[(int)leftAtomType, (int)rightAtomType, (int)environment.Style / 2];
return(glueTypes[glueType].CreateBox(environment));
}
public SymbolAtom(SymbolAtom symbolAtom, TexAtomType type) : base(type)
{
if (!validSymbolTypes[(int)type])
{
throw new ArgumentException("The specified type is not a valid symbol type.", nameof(type));
}
this.Name = symbolAtom.Name;
this.IsDelimeter = symbolAtom.IsDelimeter;
}
public SymbolAtom(SymbolAtom symbolAtom, TexAtomType type)
: base()
{
if (!validSymbolTypes[(int)type])
throw new ArgumentException("The specified type is not a valid symbol type.", "type");
this.Type = type;
this.Name = symbolAtom.Name;
this.IsDelimeter = symbolAtom.IsDelimeter;
}
public void SetFixedTypes(TexAtomType leftType, TexAtomType rightType)
{
this.Formula.RootAtom = new TypedAtom(this.Formula.RootAtom, leftType, rightType);
}
public void AddSymbol(string name, TexAtomType type)
{
this.Add(new SymbolAtom(null, SymbolAtom.GetAtom(name, null), type));
}
protected CharSymbol(SourceSpan source, TexAtomType type = TexAtomType.Ordinary)
: base(source, type)
{
this.IsTextSymbol = false;
}
public void AddSymbol(string name, TexAtomType type)
{
Add(new SymbolAtom(SymbolAtom.GetAtom(name), type));
}
public TypedAtom(Atom atom, TexAtomType leftType, TexAtomType rightType)
{
Atom = atom;
LeftType = leftType;
RightType = rightType;
}
public TypedAtom(Atom atom, TexAtomType leftType, TexAtomType rightType)
{
this.Atom = atom;
this.LeftType = leftType;
this.RightType = rightType;
}
public SymbolAtom(SourceSpan source, string name, TexAtomType type, bool isDelimeter)
: base(source, type)
{
this.Name = name;
this.IsDelimeter = isDelimeter;
}
public void SetFixedTypes(TexAtomType leftType, TexAtomType rightType)
{
this.Formula.RootAtom = new TypedAtom(this.Formula.RootAtom, leftType, rightType);
}
public SymbolAtom(string name, TexAtomType type, bool isDelimeter)
{
Type = type;
Name = name;
IsDelimeter = isDelimeter;
}
public TypedAtom(Atom atom, TexAtomType leftType, TexAtomType rightType)
{
this.Atom = atom;
this.LeftType = leftType;
this.RightType = rightType;
}
public NullAtom(SourceSpan source = null, TexAtomType type = TexAtomType.Ordinary) : base(source, type)
{
}
protected CharSymbol(TexAtomType type) : base(type)
{
this.IsTextSymbol = false;
}
public DummyAtom WithType(TexAtomType type) => new DummyAtom(type, this.Atom, this.IsTextSymbol);
public void AddSymbol(string name, TexAtomType type)
{
Add(new SymbolAtom(SymbolAtom.GetAtom(name), type));
}
public DummyAtom(TexAtomType type, Atom atom, bool isTextSymbol)
: base(atom.Source, type)
{
this.Atom = atom;
this.IsTextSymbol = isTextSymbol;
}
protected Atom(SourceSpan source, TexAtomType type = TexAtomType.Ordinary)
{
this.Source = source;
this.Type = type;
}
protected Atom(TexAtomType type)
{
this.Type = type;
}
public VVMatrixAtom(SourceSpan source, Atom atom, TexAtomType type = TexAtomType.Ordinary) : base(source, type)
{
this.BaseAtom = atom;
}
public AugmentedMatrixAtom(SourceSpan source, Atom leftatom, Atom rightatom, TexAtomType type = TexAtomType.Ordinary) : base(source, type)
{
this.LeftBaseAtom = leftatom;
this.RightBaseAtom = rightatom;
}
