Uses of Class
jline.io.ErrorId
Packages that use ErrorId
Package
Description
Input/output from the command line or XML files.
Abstractions to declare basic elements of a model.
Solver superclasses and related data structures.
Analyzers for SolverFluid.
This package provides an implementation of SolverJMT.
-
Uses of ErrorId in jline.io
Modifier and TypeFieldDescriptionstatic final ErrorIdErrorId.UNCLASSIFIEDThe legacy id of a diagnostic not yet classified.Modifier and TypeMethodDescriptionstatic ErrorIdThe vocabulary id of any throwable: its own for aLineException,LINE:Errorotherwise.static ErrorIdLineException.getErrorId()The identifier,LINE:Errorwhen the diagnostic is unclassified.static ErrorIdstatic ErrorIdstatic ErrorIdstatic ErrorIdBuilds an id, orLINE:internal:BadErrorIdwhen the category is not one of the five or the kind does not match[A-Za-z][A-Za-z0-9_]*.static ErrorIdParses a full identifier.static ErrorIdErrorId.unsupported(String kind) Modifier and TypeMethodDescriptionstatic LineExceptionBuilds the subclass that matches the id's category, so thatcatch (LineUnsupportedException e)sees every refusal however it was raised.static voidInputOutput.line_error(ErrorId errorId, String caller, String msg) Report a deliberate LINE diagnostic under an identifier of the error vocabulary and abort, e.g.static voidInputOutput.line_error(ErrorId errorId, String caller, String msg, Throwable cause) AsInputOutput.line_error(ErrorId, String, String), keeping the cause.ModifierConstructorDescriptionLineException(ErrorId errorId, String message, Throwable cause) LineExternalException(ErrorId errorId, String message) LineExternalException(ErrorId errorId, String message, Throwable cause) LineInputException(ErrorId errorId, String message) LineInputException(ErrorId errorId, String message, Throwable cause) LineInternalException(ErrorId errorId, String message) LineInternalException(ErrorId errorId, String message, Throwable cause) LineNumericalException(ErrorId errorId, String message) LineNumericalException(ErrorId errorId, String message, Throwable cause) LineUnsupportedException(ErrorId errorId, String message) LineUnsupportedException(ErrorId errorId, String message, Throwable cause) -
Uses of ErrorId in jline.lang
Methods in jline.lang that return ErrorIdModifier and TypeMethodDescriptionstatic ErrorIdFeatureSet.refusalId(FeatureSet supported, FeatureSet used, String reason) The error-vocabulary id of a feature-gate refusal,LINE:unsupported:<first unsupported feature in declaration order>, as the MATLAB, Python and C++ gates report it (_kb/17-error-vocabulary.md). -
Uses of ErrorId in jline.solvers
Methods in jline.solvers that return ErrorIdModifier and TypeMethodDescriptionSolver.unsupportedRefusalId(String method, String reason) The id the feature gate throws when the model is refused for METHOD:LINE:unsupported:<first unsupported feature>in FeatureSet declaration order, orLINE:unsupported:Structurefor a structural refusal that names no feature (seeFeatureSet.refusalId(jline.lang.FeatureSet, jline.lang.FeatureSet, java.lang.String)). -
Uses of ErrorId in jline.solvers.fluid.analyzers
Fields in jline.solvers.fluid.analyzers declared as ErrorId -
Uses of ErrorId in jline.solvers.wrappers.jmt
Methods in jline.solvers.wrappers.jmt that return ErrorId