Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
70 commits
Select commit Hold shift + click to select a range
461ce80
rename InterpreterError -> VmInternalError
Jiloc Sep 17, 2025
51180de
add docstring for VmInternalError and its variants
Jiloc Sep 17, 2025
b285602
cargo fmt
Jiloc Sep 17, 2025
0ccff9f
add docstring for VmInternalError::BadSymbolicRepresentation(String)
Jiloc Sep 17, 2025
632dd49
rename VmInternalError::AssertionFailed -> InvariantViolation
Jiloc Sep 17, 2025
5612c96
fix stx_transfer_consolidate_regr_24010
Jiloc Sep 17, 2025
5029abf
Merge pull request #6499 from stacks-network/develop
kantai Sep 17, 2025
00d2e17
Rename ParseErrors to ParseErrorKind
jferrant Sep 17, 2025
6d4560f
Add comment descriptions to ParseErrorKind and its variants
jferrant Sep 17, 2025
ad651d0
Rename ShortReturnType to EarlyReturnError
jferrant Sep 17, 2025
7b14874
Rename ShortReturn variant to EarlyReturn
jferrant Sep 17, 2025
f063b24
Add descriptions to EarlyReturnError
jferrant Sep 17, 2025
d2a8832
Rename CheckErrors to CheckErrorKind
jferrant Sep 17, 2025
a885af4
Add descriptions to CheckErrorKind variants
jferrant Sep 17, 2025
0e23fda
Rename CheckError to StaticCheckError
jferrant Sep 17, 2025
5c54d4c
Add descriptions to StaticCheckError and its components
jferrant Sep 17, 2025
de87cfa
Rename Error::Analaysis to Error::StaticCheck
jferrant Sep 17, 2025
750ccc5
Rename clarity:src::vm::clarity::Error to ClarityError
jferrant Sep 17, 2025
9dfc5b4
Add descriptions to ClarityError and its variants
jferrant Sep 17, 2025
e92b92e
Rename vm::errors::Error to VmExecutionError
jferrant Sep 17, 2025
4b9257c
Add descriptions to VmExecutionError and its variants
jferrant Sep 17, 2025
a54136f
Rename RuntimeErrorType to RuntimeError
jferrant Sep 17, 2025
ce98431
Add descriptions to RuntimeError and its variants
jferrant Sep 17, 2025
2172e01
Merge branch 'aac-client-breaking' into chore/rename-interpreter-erro…
Jiloc Sep 18, 2025
62857b7
Rename RuntimeError::ParseError to TypeParseFailure
jferrant Sep 18, 2025
d0faa86
Merge branch 'develop' of https://github.com/stacks-network/stacks-co…
jferrant Sep 18, 2025
bdb5d9d
CRC: fix bad comments
jferrant Sep 18, 2025
4774c6c
CRC: annotate all parameters
jferrant Sep 18, 2025
93d5090
CRC: annotate all parameters
jferrant Sep 18, 2025
71508f2
CRC: annotate all parameters
jferrant Sep 18, 2025
89f09eb
Merge branch 'develop' of https://github.com/stacks-network/stacks-co…
jferrant Sep 18, 2025
8952b53
CRC: add more detailed documentation. Leave interpreter to prevent co…
jferrant Sep 18, 2025
dc9df98
CRC: annotate all parameters
jferrant Sep 18, 2025
7828722
CRC: remove accidental search replace in println and format
jferrant Sep 18, 2025
6f7ee36
add docstring for IncomparableError
Jiloc Sep 19, 2025
bbead54
document the variants' parameters
Jiloc Sep 19, 2025
adfc00b
add aac-client-breaking to clippy workflow branches
Jiloc Sep 19, 2025
11d104a
Merge branch 'develop' into fix/run-clippy-on-aac-client-breaking
Jiloc Sep 19, 2025
acb1694
Merge pull request #6518 from Jiloc/fix/run-clippy-on-aac-client-brea…
Jiloc Sep 19, 2025
cd57fcd
Merge branch 'aac-client-breaking' of https://github.com/stacks-netwo…
jferrant Sep 19, 2025
b723498
Merge branch 'aac-client-breaking' of https://github.com/stacks-netwo…
jferrant Sep 19, 2025
7c6e37f
Merge branch 'aac-client-breaking' of https://github.com/stacks-netwo…
jferrant Sep 19, 2025
86683c9
Merge branch 'aac-client-breaking' of https://github.com/stacks-netwo…
jferrant Sep 19, 2025
68b959d
Merge branch 'aac-client-breaking' of https://github.com/stacks-netwo…
jferrant Sep 19, 2025
7bced7f
Merge branch 'aac-client-breaking' of https://github.com/stacks-netwo…
jferrant Sep 19, 2025
4f1c25b
Merge branch 'aac-client-breaking' of https://github.com/stacks-netwo…
jferrant Sep 19, 2025
2783191
Merge pull request #6502 from jferrant/chore/aac-rename-short-return-…
jferrant Sep 20, 2025
f9a9f6a
Merge branch 'aac-client-breaking' into chore/rename-interpreter-erro…
Jiloc Sep 22, 2025
4c89461
cargo fmt
Jiloc Sep 22, 2025
5d37187
Merge pull request #6504 from jferrant/chore/aac-rename-check-error
jferrant Sep 22, 2025
9065c01
Merge branch 'aac-client-breaking' of https://github.com/stacks-netwo…
jferrant Sep 23, 2025
1b0dbfd
Merge branch 'aac-client-breaking' of https://github.com/stacks-netwo…
jferrant Sep 23, 2025
85104e2
Merge branch 'aac-client-breaking' of https://github.com/stacks-netwo…
jferrant Sep 23, 2025
42d2b4b
Merge branch 'aac-client-breaking' of https://github.com/stacks-netwo…
jferrant Sep 23, 2025
88f4280
Merge branch 'aac-client-breaking' of https://github.com/stacks-netwo…
jferrant Sep 23, 2025
927747c
Merge pull request #6503 from jferrant/chore/aac-rename-check-errors
Jiloc Sep 23, 2025
b20d367
Merge branch 'aac-client-breaking' into chore/rename-interpreter-erro…
Jiloc Sep 23, 2025
22de8cf
Merge branch 'aac-client-breaking' of https://github.com/stacks-netwo…
jferrant Sep 23, 2025
aa1d5aa
Merge branch 'aac-client-breaking' of https://github.com/stacks-netwo…
jferrant Sep 23, 2025
1feb9b4
Merge branch 'aac-client-breaking' of https://github.com/stacks-netwo…
jferrant Sep 23, 2025
6114572
Merge branch 'aac-client-breaking' of https://github.com/stacks-netwo…
jferrant Sep 23, 2025
0c88f08
Merge pull request #6508 from jferrant/chore/aac-rename-vm-error
Jiloc Sep 24, 2025
e55f735
Merge branch 'aac-client-breaking' of https://github.com/stacks-netwo…
jferrant Sep 24, 2025
df13920
Merge branch 'chore/aac-rename-clarity-error' of github.com:jferrant/…
jferrant Sep 24, 2025
aebe832
Merge branch 'chore/aac-rename-runtime-error-type' of github.com:jfer…
jferrant Sep 24, 2025
a9d4c77
Merge branch 'chore/rename-interpreter-error-to-vm-internal-error' of…
jferrant Sep 24, 2025
fb129a4
Merge pull request #6497 from jferrant/chore/aac-rename-parse-errors
Jiloc Sep 25, 2025
ca091f2
Merge branch 'aac-client-breaking' of https://github.com/stacks-netwo…
jferrant Sep 25, 2025
f1e1291
Merge branch 'develop' of https://github.com/stacks-network/stacks-co…
jferrant Sep 25, 2025
962e7dd
Merge pull request #6538 from jferrant/chore/merge-develop-to-aac-cli…
Jiloc Sep 26, 2025
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions .github/workflows/clippy.yml
Original file line number Diff line number Diff line change
Expand Up @@ -13,6 +13,7 @@ on:
pull_request:
branches:
- develop
- aac-client-breaking # temp branch for aac work
types:
- opened
- reopened
Expand Down
4 changes: 2 additions & 2 deletions CONTRIBUTING.md
Original file line number Diff line number Diff line change
Expand Up @@ -498,10 +498,10 @@ impl<'a, 'b> ReadOnlyChecker<'a, 'b> {
///
/// # Errors
///
/// - Returns CheckErrors::WriteAttemptedInReadOnly if there is a read-only
/// - Returns CheckErrorKind::WriteAttemptedInReadOnly if there is a read-only
/// violation, i.e. if some function marked read-only attempts to modify
/// the chainstate.
pub fn run(&mut self, contract_analysis: &ContractAnalysis) -> Result<(), CheckError>
pub fn run(&mut self, contract_analysis: &ContractAnalysis) -> Result<(), StaticCheckError>
```

This comment is considered positive because it explains the contract of the function in pseudo-code. Someone who understands the constructs mentioned could, e.g., write a test for this method from this description.
Expand Down
543 changes: 365 additions & 178 deletions clarity-types/src/errors/analysis.rs

Large diffs are not rendered by default.

265 changes: 182 additions & 83 deletions clarity-types/src/errors/ast.rs

Large diffs are not rendered by default.

243 changes: 173 additions & 70 deletions clarity-types/src/errors/mod.rs

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion clarity-types/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -31,7 +31,7 @@ pub mod representations;
pub mod token;
pub mod types;

pub use errors::Error;
pub use errors::VmExecutionError;
pub use representations::{ClarityName, ContractName};
pub use types::Value;

Expand Down
14 changes: 7 additions & 7 deletions clarity-types/src/representations.rs
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,7 @@ use regex::Regex;
use stacks_common::codec::{Error as codec_error, StacksMessageCodec, read_next, write_next};

use crate::Value;
use crate::errors::RuntimeErrorType;
use crate::errors::RuntimeError;
use crate::types::TraitIdentifier;

pub const CONTRACT_MIN_NAME_LENGTH: usize = 1;
Expand Down Expand Up @@ -66,17 +66,17 @@ guarded_string!(
"ClarityName",
CLARITY_NAME_REGEX,
MAX_STRING_LEN,
RuntimeErrorType,
RuntimeErrorType::BadNameValue
RuntimeError,
RuntimeError::BadNameValue
);

guarded_string!(
ContractName,
"ContractName",
CONTRACT_NAME_REGEX,
MAX_STRING_LEN,
RuntimeErrorType,
RuntimeErrorType::BadNameValue
RuntimeError,
RuntimeError::BadNameValue
);

impl StacksMessageCodec for ClarityName {
Expand Down Expand Up @@ -623,14 +623,14 @@ impl SymbolicExpression {
}

/// Encode this SymbolicExpression as a String suitable for logging an error (such as in
/// CheckErrors). The `developer-mode` feature includes the `span`.
/// CheckErrorKind). The `developer-mode` feature includes the `span`.
#[cfg(feature = "developer-mode")]
pub fn as_error_string(&self) -> String {
format!("{} at {:?}", &self.expr, &self.span)
}

/// Encode this SymbolicExpression as a String suitable for logging an error (such as in
/// CheckErrors).
/// CheckErrorKind).
#[cfg(not(feature = "developer-mode"))]
pub fn as_error_string(&self) -> String {
format!("{}", &self.expr)
Expand Down
6 changes: 3 additions & 3 deletions clarity-types/src/tests/representations.rs
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@

use rstest::rstest;

use crate::errors::RuntimeErrorType;
use crate::errors::RuntimeError;
use crate::representations::{
CONTRACT_MAX_NAME_LENGTH, CONTRACT_MIN_NAME_LENGTH, ClarityName, ContractName, MAX_STRING_LEN,
};
Expand Down Expand Up @@ -73,7 +73,7 @@ fn test_clarity_name_invalid(#[case] name: &str) {
assert!(result.is_err());
assert!(matches!(
result.unwrap_err(),
RuntimeErrorType::BadNameValue(_, _)
RuntimeError::BadNameValue(_, _)
));
}

Expand Down Expand Up @@ -157,7 +157,7 @@ fn test_contract_name_invalid(#[case] name: &str) {
assert!(result.is_err());
assert!(matches!(
result.unwrap_err(),
RuntimeErrorType::BadNameValue(_, _)
RuntimeError::BadNameValue(_, _)
));
}

Expand Down
Loading
Loading