here is the GlobalState I use for all the theories in the test suite
const variableKindsConfiguration: Map<string, IVariableKindConfiguration> =
new Map<string, IVariableKindConfiguration>();
variableKindsConfiguration.set('wff', { workingVarPrefix: 'W',
lspSemantictokenType: 'variable' });
variableKindsConfiguration.set('setvar', { workingVarPrefix: 'S',
lspSemantictokenType: 'string' });
variableKindsConfiguration.set('class', { workingVarPrefix: 'C',
lspSemantictokenType: 'keyword' });
export const lastFetchedSettings: IExtensionSettings = {
maxNumberOfProblems: 100, mmFileFullPath: '',
disjVarAutomaticGeneration: DisjVarAutomaticGeneration.GenerateNone,
proofMode: ProofMode.normal,
labelsOrderInCompressedProof:
LabelsOrderInCompressedProof.mostReferencedFirstAndNiceFormatting,
diagnosticMessageForSyntaxError: DiagnosticMessageForSyntaxError.short,
variableKindsConfiguration: variableKindsConfiguration
};
export const globalState: GlobalState = new GlobalState();
globalState.lastFetchedSettings = lastFetchedSettings;
--
You received this message because you are subscribed to the Google Groups
"Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion visit
https://groups.google.com/d/msgid/metamath/ab090ba5-d575-432e-99f6-382f74247cdan%40googlegroups.com.
