iframe-proxy | Sunbelt Computer Software

History

178 lines (170 loc) · 6.54 KB

Raw

100

101

102

103

104

105

106

107

108

109

110

111

112

113

114

115

116

117

118

119

120

121

122

123

124

125

126

127

128

129

130

131

132

133

134

135

136

137

138

139

140

141

142

143

144

145

146

147

148

149

150

151

152

153

154

155

156

157

158

159

160

161

162

163

164

165

166

167

168

169

170

171

172

173

174

175

176

177

178

use alloc::fmt;

use core::fmt::Display;

use rustpython_compiler_core::SourceLocation;

use thiserror::Error;

// pub type CodegenError = rustpython_parser_core::source_code::LocatedError<CodegenErrorType>;

#[derive(Error, Debug)]

pub struct CodegenError {

pub location: Option<SourceLocation>,

pub end_location: Option<SourceLocation>,

#[source]

pub error: CodegenErrorType,

pub source_path: String,

}

impl fmt::Display for CodegenError {

fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {

// TODO:

self.error.fmt(f)

}

#[derive(Debug)]

#[non_exhaustive]

pub enum InternalError {

StackUnderflow,

InconsistentStackDepth,

InvalidStackEffect,

MalformedControlFlowGraph,

MissingSymbol(String),

}

impl Display for InternalError {

fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {

match self {

Self::StackUnderflow => write!(f, "Invalid CFG, stack underflow"),

Self::InconsistentStackDepth => write!(f, "Invalid CFG, inconsistent stackdepth"),

Self::InvalidStackEffect => write!(f, "Invalid stack effect"),

Self::MalformedControlFlowGraph => write!(f, "malformed control flow graph."),

Self::MissingSymbol(s) => write!(

"The symbol '{s}' must be present in the symbol table, even when it is undefined in python."

}

#[derive(Debug)]

#[non_exhaustive]

pub enum CodegenErrorType {

/// Invalid assignment, cannot store value in target.

Assign(&'static str),

/// Invalid delete

Delete(&'static str),

SyntaxError(String),

/// Multiple `*` detected

MultipleStarArgs,

MultipleStarredExpressionsInSequencePattern,

MultipleStarredNamesInSequencePattern,

/// Misplaced `*` expression

InvalidStarExpr,

/// Break statement outside of loop.

InvalidBreak,

/// Continue statement outside of loop.

InvalidContinue,

InvalidReturn,

InvalidYield,

InvalidYieldFrom,

InvalidAwait,

InvalidAsyncFor,

InvalidAsyncWith,

InvalidAsyncComprehension,

AsyncYieldFrom,

AsyncReturnValue,

InvalidFuturePlacement,

InvalidFutureFeature(String),

InvalidFutureBraces,

RecursionError,

TooManyStarUnpack,

TooManyExpressionsInStarUnpackingSequencePattern,

EmptyWithItems,

EmptyWithBody,

ForbiddenName,

DuplicateStore(String),

UnreachableWildcardPattern,

UnreachableNameCapturePattern(String),

RepeatedAttributePattern(String),

ConflictingNameBindPattern,

/// break/continue/return inside except* block

BreakContinueReturnInExceptStar,

}

impl core::error::Error for CodegenErrorType {}

impl fmt::Display for CodegenErrorType {

fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {

match self {

Self::Assign(target) => write!(f, "cannot assign to {target}"),

Self::Delete(target) => write!(f, "cannot delete {target}"),

Self::SyntaxError(err) => write!(f, "{}", err.as_str()),

Self::MultipleStarArgs => {

write!(f, "multiple starred expressions in assignment")

}

Self::MultipleStarredExpressionsInSequencePattern => {

write!(f, "multiple starred expressions in sequence pattern")

}

Self::MultipleStarredNamesInSequencePattern => {

write!(f, "multiple starred names in sequence pattern")

}

Self::InvalidStarExpr => write!(f, "can't use starred expression here"),

Self::InvalidBreak => write!(f, "'break' outside loop"),

Self::InvalidContinue => write!(f, "'continue' not properly in loop"),

Self::InvalidReturn => write!(f, "'return' outside function"),

Self::InvalidYield => write!(f, "'yield' outside function"),

Self::InvalidYieldFrom => write!(f, "'yield from' outside function"),

Self::InvalidAwait => write!(f, "'await' outside async function"),

Self::InvalidAsyncFor => write!(f, "'async for' outside async function"),

Self::InvalidAsyncWith => write!(f, "'async with' outside async function"),

Self::InvalidAsyncComprehension => {

write!(

"asynchronous comprehension outside of an asynchronous function"

)

}

Self::AsyncYieldFrom => write!(f, "'yield from' inside async function"),

Self::AsyncReturnValue => write!(f, "'return' with value in async generator"),

Self::InvalidFuturePlacement => write!(

"from __future__ imports must occur at the beginning of the file"

Self::InvalidFutureFeature(feat) => {

write!(f, "future feature {feat} is not defined")

}

Self::InvalidFutureBraces => write!(f, "not a chance"),

Self::RecursionError => {

write!(f, "maximum recursion depth exceeded during compilation")

}

Self::TooManyStarUnpack => {

write!(f, "too many expressions in star-unpacking assignment")

}

Self::TooManyExpressionsInStarUnpackingSequencePattern => {

write!(f, "too many expressions in star-unpacking sequence pattern")

}

Self::EmptyWithItems => {

write!(f, "empty items on With")

}

Self::EmptyWithBody => {

write!(f, "empty body on With")

}

Self::ForbiddenName => {

write!(f, "forbidden attribute name")

}

Self::DuplicateStore(s) => write!(f, "multiple assignments to name '{s}' in pattern"),

Self::UnreachableWildcardPattern => {

write!(f, "wildcard makes remaining patterns unreachable")

}

Self::UnreachableNameCapturePattern(name) => {

write!(

"name capture '{name}' makes remaining patterns unreachable"

)

}

Self::RepeatedAttributePattern(name) => {

write!(f, "attribute name repeated in class pattern: {name}")

}

Self::ConflictingNameBindPattern => {

write!(f, "alternative patterns bind different names")

}

Self::BreakContinueReturnInExceptStar => {

write!(

"'break', 'continue' and 'return' cannot appear in an except* block"

)

}

Sunbelt Computer Software

PL/B Language Development and Support

Navigation Menu

Uh oh!

Sunbelt Computer Software

PL/B Language Development and Support

Uh oh!

FilesExpand file tree

error.rs

Latest commit

History

error.rs

File metadata and controls