uk.ac.ed.ph.snuggletex.internal

接口 WorkingDocument.SourceContext

所有已知实现类:

SnuggleInputReader, WorkingDocument.SubstitutionContext

封闭类:

WorkingDocument

public static interface WorkingDocument.SourceContext

Marker interface that can be applied to classes that provide information for a WorkingDocument.CharacterSource.