semantic_attr.d.ts 1.0 KB

123456789101112131415161718192021222324252627
  1. import { SemanticMeaning, SemanticSecondary } from './semantic_meaning.js';
  2. export declare const NamedSymbol: {
  3. functionApplication: string;
  4. invisibleTimes: string;
  5. invisibleComma: string;
  6. invisiblePlus: string;
  7. };
  8. declare class meaningMap extends Map<string, SemanticMeaning> {
  9. get(symbol: string): SemanticMeaning;
  10. }
  11. declare class secondaryMap extends Map<string, string> {
  12. set(char: string, kind: SemanticSecondary, annotation?: string): this;
  13. has(char: string, kind?: SemanticSecondary): boolean;
  14. get(char: string, kind?: SemanticSecondary): string;
  15. private secKey;
  16. }
  17. export declare const SemanticMap: {
  18. Meaning: meaningMap;
  19. Secondary: secondaryMap;
  20. FencesHoriz: Map<any, any>;
  21. FencesVert: Map<any, any>;
  22. LatexCommands: Map<any, any>;
  23. };
  24. export declare function addFunctionSemantic(base: string, names: string[]): void;
  25. export declare function equal(meaning1: SemanticMeaning, meaning2: SemanticMeaning): boolean;
  26. export declare function isMatchingFence(open: string, close: string): boolean;
  27. export {};