Interface Locale

A Locale is an interface that states the shape a translation for this tool should comply with.

To internationalize the Gobstones language components, new instances of this Locale must be provided, and added to the availableLocales.

interface Locale {
    General: {
        error: {
            PreconditionFailureIn: string;
            RepeatedAssociationIn: string;
        };
    };
    Lexer: {
        error: {
            NoInput: string;
            NoMoreInputIn: string;
            WrongPragmaOption: string;
        };
        muncher: {
            ParComment: string;
            Pragma: string;
            String: string;
        };
        warning: {
            IncompleteEscapeCharIn: string;
            IncompleteMuncherIn: string;
            InvalidEscapeCharIn: string;
            InvalidNumberTokenIn: string;
            MalformedPragma: string;
            PragmaNotImplementedYet: string;
            UnknownLanguagePragma: string;
            UnknownPragma: string;
        };
    };
    Parser: {
        connective: {
            orForMore: string;
            orForTwo: string;
        };
        error: {
            EllipsisMsg: string;
            InvalidFixity: string;
            MalformedConstruction: string;
            MalformedLiteralList: string;
            MissingConstruction: string;
            NonAssociativeOperator: string;
            ObsoleteConstruction: string;
            UnexpectedEndOfDocument: string;
            UnexpectedEndOfDocumentExpectingConstruction: string;
            UnexpectedEndOfDocumentInConstruction: string;
            UnexpectedToken: string;
        };
        syntacticCategory: {
            Determined: SyntacticCategories;
            Undetermined: SyntacticCategories;
        };
    };
    cli: {
        descriptions: {
            help: string;
            in: string;
            language: string;
            out: string;
            tool: string;
            version: string;
        };
        errors: {
            file: string;
            language: string;
        };
    };
    problemType: {
        error: string;
        warning: string;
    };
}

Properties

General Lexer Parser cli problemType

Properties

General

General: {
    error: {
        PreconditionFailureIn: string;
        RepeatedAssociationIn: string;
    };
}

Type declaration

  • error: {
        PreconditionFailureIn: string;
        RepeatedAssociationIn: string;
    }
    • PreconditionFailureIn: string
    • RepeatedAssociationIn: string

Lexer

Lexer: {
    error: {
        NoInput: string;
        NoMoreInputIn: string;
        WrongPragmaOption: string;
    };
    muncher: {
        ParComment: string;
        Pragma: string;
        String: string;
    };
    warning: {
        IncompleteEscapeCharIn: string;
        IncompleteMuncherIn: string;
        InvalidEscapeCharIn: string;
        InvalidNumberTokenIn: string;
        MalformedPragma: string;
        PragmaNotImplementedYet: string;
        UnknownLanguagePragma: string;
        UnknownPragma: string;
    };
}

Type declaration

  • error: {
        NoInput: string;
        NoMoreInputIn: string;
        WrongPragmaOption: string;
    }
    • NoInput: string
    • NoMoreInputIn: string
    • WrongPragmaOption: string
  • muncher: {
        ParComment: string;
        Pragma: string;
        String: string;
    }
    • ParComment: string
    • Pragma: string
    • String: string
  • warning: {
        IncompleteEscapeCharIn: string;
        IncompleteMuncherIn: string;
        InvalidEscapeCharIn: string;
        InvalidNumberTokenIn: string;
        MalformedPragma: string;
        PragmaNotImplementedYet: string;
        UnknownLanguagePragma: string;
        UnknownPragma: string;
    }
    • IncompleteEscapeCharIn: string
    • IncompleteMuncherIn: string
    • InvalidEscapeCharIn: string
    • InvalidNumberTokenIn: string
    • MalformedPragma: string
    • PragmaNotImplementedYet: string
    • UnknownLanguagePragma: string
    • UnknownPragma: string

Parser

Parser: {
    connective: {
        orForMore: string;
        orForTwo: string;
    };
    error: {
        EllipsisMsg: string;
        InvalidFixity: string;
        MalformedConstruction: string;
        MalformedLiteralList: string;
        MissingConstruction: string;
        NonAssociativeOperator: string;
        ObsoleteConstruction: string;
        UnexpectedEndOfDocument: string;
        UnexpectedEndOfDocumentExpectingConstruction: string;
        UnexpectedEndOfDocumentInConstruction: string;
        UnexpectedToken: string;
    };
    syntacticCategory: {
        Determined: SyntacticCategories;
        Undetermined: SyntacticCategories;
    };
}

Type declaration

  • connective: {
        orForMore: string;
        orForTwo: string;
    }
    • orForMore: string
    • orForTwo: string
  • error: {
        EllipsisMsg: string;
        InvalidFixity: string;
        MalformedConstruction: string;
        MalformedLiteralList: string;
        MissingConstruction: string;
        NonAssociativeOperator: string;
        ObsoleteConstruction: string;
        UnexpectedEndOfDocument: string;
        UnexpectedEndOfDocumentExpectingConstruction: string;
        UnexpectedEndOfDocumentInConstruction: string;
        UnexpectedToken: string;
    }
    • EllipsisMsg: string
    • InvalidFixity: string
    • MalformedConstruction: string
    • MalformedLiteralList: string
    • MissingConstruction: string
    • NonAssociativeOperator: string
    • ObsoleteConstruction: string
    • UnexpectedEndOfDocument: string
    • UnexpectedEndOfDocumentExpectingConstruction: string
    • UnexpectedEndOfDocumentInConstruction: string
    • UnexpectedToken: string
  • syntacticCategory: {
        Determined: SyntacticCategories;
        Undetermined: SyntacticCategories;
    }
    • Determined: SyntacticCategories
    • Undetermined: SyntacticCategories

cli

cli: {
    descriptions: {
        help: string;
        in: string;
        language: string;
        out: string;
        tool: string;
        version: string;
    };
    errors: {
        file: string;
        language: string;
    };
}

Type declaration

  • descriptions: {
        help: string;
        in: string;
        language: string;
        out: string;
        tool: string;
        version: string;
    }
    • help: string
    • in: string
    • language: string
    • out: string
    • tool: string
    • version: string
  • errors: {
        file: string;
        language: string;
    }
    • file: string
    • language: string

problemType

problemType: {
    error: string;
    warning: string;
}

Type declaration

  • error: string
  • warning: string

Settings

Member Visibility

Theme

On This Page

GeneralLexerParsercliproblemType