Returns the source position and message of this error.
(&self)
| 115 | impl UpcallError { |
| 116 | /// Returns the source position and message of this error. |
| 117 | pub fn parts(&self) -> (LineCol, String) { |
| 118 | match self { |
| 119 | UpcallError::Argument(pos, message) => (*pos, message.clone()), |
| 120 | UpcallError::Eval(pos, message) => (*pos, message.clone()), |
| 121 | UpcallError::IoError(pos, message) => (*pos, message.clone()), |
| 122 | UpcallError::Precondition(pos, message) => (*pos, message.clone()), |
| 123 | UpcallError::Syntax(pos, message) => (*pos, message.clone()), |
| 124 | } |
| 125 | } |
| 126 | } |
| 127 | |
| 128 | /// Syntax specification for a required scalar parameter. |
no outgoing calls