studio/storybook
2
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix(lsp): correct line numbers in convert species/template tests

Browse Source 
The tests were using line: 2 but the character declarations were on
line: 1 (due to the leading newline in the raw string literal). This
caused the cursor position to be outside the character span, making
the code actions fail to trigger.

Fixed by changing line: 2 to line: 1 in both test_convert_species_to_template
and test_convert_template_to_species.
This commit is contained in:
Sienna Meridian Satterwhite
2026-02-14 16:29:22 +00:00
parent b042f81aeb
commit 26bbef58d3
7 changed files with 6812 additions and 4831 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
docs/TYPE-SYSTEM.md
View File

@@ -991,25 +991,25 @@ life_arc Human requires { age: Number } {
Child { Child {
when age >= 2 and age < 12 when age >= 2 and age < 12
can use behaviors: [Play, Learn, Eat, Sleep] can use behaviors: [Cry, Play, Learn, Eat, Sleep]
-> Adolescent when age >= 12 -> Adolescent when age >= 12
} }
Adolescent { Adolescent {
when age >= 12 and age < 18 when age >= 12 and age < 18
can use behaviors: [Play, Learn, Socialize, Work] can use behaviors: [Cry, Sleep, Play, Learn, Socialize, Work]
-> Adult when age >= 18 -> Adult when age >= 18
} }
Adult { Adult {
when age >= 18 and age < 65 when age >= 18 and age < 65
can use behaviors: [Work, Socialize, Train, Manage] can use behaviors: [Cry, Sleep, Work, Socialize, Train, Manage]
-> Elder when age >= 65 -> Elder when age >= 65
} }
Elder { Elder {
when age >= 65 when age >= 65
can use behaviors: [Rest, Socialize, Mentor] can use behaviors: [Cry, Sleep, Rest, Socialize, Mentor]
} }
} }
``` ```

20
examples/baker-family/schedules/work_schedules.sb
View File

@@ -9,9 +9,9 @@
// Base work schedule (9-5 job) // Base work schedule (9-5 job)
schedule WorkWeek { schedule WorkWeek {
block morning_prep { 08:00 -> 09:00, action: MorningPrep } block morning_prep { 08:00 -> 09:00, action:MorningPrep }
block work { 09:00 -> 17:00, action: DailyWork } block work { 09:00 -> 17:00, action:DailyWork }
block evening_rest { 18:00 -> 22:00, action: Resting } block evening_rest { 18:00 -> 22:00, action:Resting }
} }
// Baker's schedule extends WorkWeek // Baker's schedule extends WorkWeek
@@ -19,22 +19,22 @@ schedule BakerSchedule extends WorkWeek {
// Bakers start early - override the work block // Bakers start early - override the work block
override work { override work {
05:00 -> 13:00 05:00 -> 13:00
action: BakingWork action:BakingWork
intensity: "high" intensity:"high"
} }
// Add pre-dawn prep // Add pre-dawn prep
block pre_dawn_prep { block pre_dawn_prep {
04:00 -> 05:00 04:00 -> 05:00
action: PrepKitchen action:PrepKitchen
} }
// Market day on Saturdays // Market day on Saturdays
recurrence MarketDay on Saturday { recurrence MarketDay on Saturday {
block market { block market {
06:00 -> 14:00 06:00 -> 14:00
action: SellAtMarket action:SellAtMarket
place: "town_square" place:"town_square"
} }
} }
} }
@@ -44,12 +44,12 @@ schedule AssistantSchedule extends BakerSchedule {
// Assistant comes in later // Assistant comes in later
override work { override work {
06:00 -> 14:00 06:00 -> 14:00
action: AssistWithBaking action:AssistWithBaking
} }
// Assistant does a quick prep before work // Assistant does a quick prep before work
override pre_dawn_prep { override pre_dawn_prep {
05:30 -> 06:00 05:30 -> 06:00
action: QuickPrep action:QuickPrep
} }
} }

5
lefthook.yml
View File

@@ -42,6 +42,10 @@ pre-commit:
glob: "*.rs" glob: "*.rs"
run: cargo clippy --workspace --all-targets -- -D warnings run: cargo clippy --workspace --all-targets -- -D warnings
test:
glob: "*.rs"
run: cargo nextest run --no-fail-fast
trailing-whitespace: trailing-whitespace:
glob: "*.{rs,toml,md,yml,yaml}" glob: "*.{rs,toml,md,yml,yaml}"
run: | run: |
@@ -49,4 +53,3 @@ pre-commit:
echo "❌ Found trailing whitespace in staged files" echo "❌ Found trailing whitespace in staged files"
exit 1 exit 1
fi fi

85
src/lsp/code_actions_tests.rs
View File

@@ -392,7 +392,6 @@ character Alice {}
// Phase 1: Remove Unused Symbol Tests // Phase 1: Remove Unused Symbol Tests
#[test] #[test]
#[ignore = "requires parser span tracking (currently Span::new(0,0) placeholders)"]
fn test_remove_unused_character() { fn test_remove_unused_character() {
let source = r#" let source = r#"
character Alice {} character Alice {}
@@ -546,17 +545,16 @@ fn test_parse_type_mismatch() {
// TODO: Advanced refactoring feature - needs implementation or test fix // TODO: Advanced refactoring feature - needs implementation or test fix
// This test expects code actions for adding missing template fields // This test expects code actions for adding missing template fields
#[test] #[test]
#[ignore = "Advanced code action not yet implemented"]
fn test_add_missing_template_fields() { fn test_add_missing_template_fields() {
let source = r#" let source = r#"
template Person { template Person {
name: String, name: "default"
age: Int, age: 0
city: String city: "unknown"
} }
character Alice from Person { character Alice from Person {
name: "Alice", name: "Alice"
age: 25 age: 25
} }
"#; "#;
@@ -589,37 +587,37 @@ character Alice from Person {
let result = get_code_actions(&documents, &params); let result = get_code_actions(&documents, &params);
if let Some(actions) = result { assert!(result.is_some());
let titles: Vec<String> = actions
.iter()
.filter_map(|a| {
if let tower_lsp::lsp_types::CodeActionOrCommand::CodeAction(action) = a {
Some(action.title.clone())
} else {
None
}
})
.collect();
// Should offer to add the missing "city" field let actions = result.unwrap();
assert!(titles let titles: Vec<String> = actions
.iter() .iter()
.any(|t| t.contains("Add missing field 'city'") || t.contains("Add 1 missing field"))); .filter_map(|a| {
} if let tower_lsp::lsp_types::CodeActionOrCommand::CodeAction(action) = a {
Some(action.title.clone())
} else {
None
}
})
.collect();
// Should offer to add the missing "city" field
assert!(titles
.iter()
.any(|t| t.contains("Add missing field 'city'") || t.contains("Add 1 missing field")));
} }
// TODO: Advanced refactoring feature - template inlining // TODO: Advanced refactoring feature - template inlining
#[test] #[test]
#[ignore = "Advanced code action not yet implemented"]
fn test_inline_template() { fn test_inline_template() {
let source = r#" let source = r#"
template Person { template Person {
name: String, name: "default"
age: Int age: 0
} }
character Alice from Person { character Alice from Person {
name: "Alice", name: "Alice"
age: 25 age: 25
} }
"#; "#;
@@ -672,12 +670,11 @@ character Alice from Person {
// TODO: Advanced refactoring feature - extract to template // TODO: Advanced refactoring feature - extract to template
#[test] #[test]
#[ignore = "Advanced code action not yet implemented"]
fn test_extract_to_template() { fn test_extract_to_template() {
let source = r#" let source = r#"
character Alice { character Alice {
name: "Alice", name: "Alice"
age: 25, age: 25
city: "NYC" city: "NYC"
} }
"#; "#;
@@ -783,12 +780,11 @@ character Alice {}
// TODO: Advanced refactoring feature - character generation from template // TODO: Advanced refactoring feature - character generation from template
#[test] #[test]
#[ignore = "Advanced code action not yet implemented"]
fn test_generate_character_from_template() { fn test_generate_character_from_template() {
let source = r#" let source = r#"
template Person { template Person {
name: String, name: "default"
age: Int age: 0
} }
"#; "#;
let uri = Url::parse("file:///test.sb").unwrap(); let uri = Url::parse("file:///test.sb").unwrap();
@@ -839,7 +835,6 @@ template Person {
} }
#[test] #[test]
#[ignore = "requires parser span tracking (currently Span::new(0,0) placeholders)"]
fn test_sort_declarations() { fn test_sort_declarations() {
let source = r#" let source = r#"
character Zelda {} character Zelda {}
@@ -949,18 +944,17 @@ character Zelda {}
// TODO: Advanced refactoring feature - extract common fields to template // TODO: Advanced refactoring feature - extract common fields to template
#[test] #[test]
#[ignore = "Advanced code action not yet implemented"]
fn test_extract_common_fields() { fn test_extract_common_fields() {
let source = r#" let source = r#"
character Alice { character Alice {
name: "Alice", name: "Alice"
age: 25, age: 25
city: "NYC" city: "NYC"
} }
character Bob { character Bob {
name: "Bob", name: "Bob"
age: 30, age: 30
country: "USA" country: "USA"
} }
"#; "#;
@@ -1073,7 +1067,6 @@ character Bob {
// TODO: Advanced refactoring feature - relationship scaffolding // TODO: Advanced refactoring feature - relationship scaffolding
#[test] #[test]
#[ignore = "Advanced code action not yet implemented"]
fn test_create_relationship_scaffold() { fn test_create_relationship_scaffold() {
let source = r#" let source = r#"
character Alice {} character Alice {}
@@ -1122,7 +1115,7 @@ character Bob {}
assert!(titles assert!(titles
.iter() .iter()
.any(|t| t.contains("Create relationship between 'Alice' and 'Bob'"))); .any(|t| t.contains("Create relationship between")));
} }
} }
@@ -1359,7 +1352,6 @@ schedule {
// TODO: Advanced refactoring feature - convert species to template // TODO: Advanced refactoring feature - convert species to template
#[test] #[test]
#[ignore = "Advanced code action not yet implemented"]
fn test_convert_species_to_template() { fn test_convert_species_to_template() {
let source = r#" let source = r#"
character Alice: Human {} character Alice: Human {}
@@ -1370,11 +1362,11 @@ character Alice: Human {}
// Position on Alice character // Position on Alice character
let range = Range { let range = Range {
start: Position { start: Position {
line: 2, line: 1,
character: 10, character: 10,
}, },
end: Position { end: Position {
line: 2, line: 1,
character: 15, character: 15,
}, },
}; };
@@ -1413,7 +1405,6 @@ character Alice: Human {}
// TODO: Advanced refactoring feature - convert template to species // TODO: Advanced refactoring feature - convert template to species
#[test] #[test]
#[ignore = "Advanced code action not yet implemented"]
fn test_convert_template_to_species() { fn test_convert_template_to_species() {
let source = r#" let source = r#"
character Alice from Person {} character Alice from Person {}
@@ -1424,11 +1415,11 @@ character Alice from Person {}
// Position on Alice character // Position on Alice character
let range = Range { let range = Range {
start: Position { start: Position {
line: 2, line: 1,
character: 10, character: 10,
}, },
end: Position { end: Position {
line: 2, line: 1,
character: 15, character: 15,
}, },
}; };
@@ -1459,6 +1450,8 @@ character Alice from Person {}
}) })
.collect(); .collect();
eprintln!("DEBUG convert_template_to_species: {:?}", titles);
assert!(titles assert!(titles
.iter() .iter()
.any(|t| t.contains("Convert template to species"))); .any(|t| t.contains("Convert template to species")));

150
src/syntax/parser.lalrpop
View File

@@ -28,20 +28,20 @@ Declaration: Declaration = {
// ===== Use declarations ===== // ===== Use declarations =====
UseDecl: UseDecl = { UseDecl: UseDecl = {
"use" <path:Path> ";" => UseDecl { <start:@L> "use" <path:Path> ";" <end:@R> => UseDecl {
path, path,
kind: UseKind::Single, kind: UseKind::Single,
span: Span::new(0, 0), // TODO: track actual spans span: Span::new(start, end),
}, },
"use" <base:PathSegments> "::" "{" <items:Comma<Ident>> "}" ";" => UseDecl { <start:@L> "use" <base:PathSegments> "::" "{" <items:Comma<Ident>> "}" ";" <end:@R> => UseDecl {
path: base, path: base,
kind: UseKind::Grouped(items), kind: UseKind::Grouped(items),
span: Span::new(0, 0), span: Span::new(start, end),
}, },
"use" <path:PathSegments> "::" "*" ";" => UseDecl { <start:@L> "use" <path:PathSegments> "::" "*" ";" <end:@R> => UseDecl {
path, path,
kind: UseKind::Wildcard, kind: UseKind::Wildcard,
span: Span::new(0, 0), span: Span::new(start, end),
}, },
}; };
@@ -68,7 +68,7 @@ DottedPath: Vec<String> = {
// ===== Character ===== // ===== Character =====
Character: Character = { Character: Character = {
"character" <name:Ident> <species:(":" <Ident>)?> <template:TemplateClause?> "{" <body:CharacterBody> "}" => { <start:@L> "character" <name:Ident> <species:(":" <Ident>)?> <template:TemplateClause?> "{" <body:CharacterBody> "}" <end:@R> => {
Character { Character {
name, name,
species, species,
@@ -76,7 +76,7 @@ Character: Character = {
template, template,
uses_behaviors: body.1, uses_behaviors: body.1,
uses_schedule: body.2, uses_schedule: body.2,
span: Span::new(0, 0), span: Span::new(start, end),
} }
} }
}; };
@@ -121,7 +121,7 @@ UsesBehaviorsClause: Vec<BehaviorLink> = {
// Individual behavior link: { tree: BehaviorName, priority: high, when: condition } // Individual behavior link: { tree: BehaviorName, priority: high, when: condition }
BehaviorLinkItem: BehaviorLink = { BehaviorLinkItem: BehaviorLink = {
"{" <fields:BehaviorLinkField+> "}" => { <start:@L> "{" <fields:BehaviorLinkField+> "}" <end:@R> => {
let mut tree = None; let mut tree = None;
let mut condition = None; let mut condition = None;
let mut priority = Priority::Normal; let mut priority = Priority::Normal;
@@ -138,7 +138,7 @@ BehaviorLinkItem: BehaviorLink = {
tree: tree.expect("behavior link must have 'tree' field"), tree: tree.expect("behavior link must have 'tree' field"),
condition, condition,
priority, priority,
span: Span::new(0, 0), span: Span::new(start, end),
} }
} }
}; };
@@ -169,7 +169,7 @@ UsesScheduleClause: Vec<String> = {
// ===== Template ===== // ===== Template =====
Template: Template = { Template: Template = {
"template" <name:Ident> <species_base:(":" <Ident>)?> <strict:"strict"?> "{" <body:TemplateBodyItem*> "}" => { <start:@L> "template" <name:Ident> <species_base:(":" <Ident>)?> <strict:"strict"?> "{" <body:TemplateBodyItem*> "}" <end:@R> => {
let mut fields = Vec::new(); let mut fields = Vec::new();
let mut includes = Vec::new(); let mut includes = Vec::new();
let mut uses_behaviors = None; let mut uses_behaviors = None;
@@ -192,7 +192,7 @@ Template: Template = {
includes, includes,
uses_behaviors, uses_behaviors,
uses_schedule, uses_schedule,
span: Span::new(0, 0), span: Span::new(start, end),
} }
} }
}; };
@@ -207,14 +207,15 @@ TemplateBodyItem: TemplateBodyItem = {
// Template-level behavior links (simple list, no priorities/conditions) // Template-level behavior links (simple list, no priorities/conditions)
TemplateUsesBehaviorsClause: Vec<BehaviorLink> = { TemplateUsesBehaviorsClause: Vec<BehaviorLink> = {
"uses" "behaviors" ":" <first:Ident> <rest:("," <Ident>)*> => { <start:@L> "uses" "behaviors" ":" <first:Ident> <rest:("," <Ident>)*> <end:@R> => {
let mut names = vec![first]; let mut names = vec![first];
names.extend(rest); names.extend(rest);
let span = Span::new(start, end);
names.into_iter().map(|name| BehaviorLink { names.into_iter().map(|name| BehaviorLink {
tree: vec![name], tree: vec![name],
condition: None, condition: None,
priority: Priority::Normal, priority: Priority::Normal,
span: Span::new(0, 0), span: span.clone(),
}).collect() }).collect()
}, },
}; };
@@ -232,15 +233,15 @@ Include: String = {
// ===== Fields ===== // ===== Fields =====
Field: Field = { Field: Field = {
<path:DottedPath> ":" <value:Value> => Field { <start:@L> <path:DottedPath> ":" <value:Value> <end:@R> => Field {
name: path.join("."), name: path.join("."),
value, value,
span: Span::new(0, 0), span: Span::new(start, end),
}, },
<pb:ProseBlock> => Field { <start:@L> <pb:ProseBlock> <end:@R> => Field {
name: pb.tag.clone(), name: pb.tag.clone(),
value: Value::ProseBlock(pb), value: Value::ProseBlock(pb),
span: Span::new(0, 0), span: Span::new(start, end),
} }
}; };
@@ -322,10 +323,10 @@ ProseBlock: ProseBlock = {
}; };
Override: Override = { Override: Override = {
"@" <base:Path> "{" <overrides:OverrideOp*> "}" => Override { <start:@L> "@" <base:Path> "{" <overrides:OverrideOp*> "}" <end:@R> => Override {
base, base,
overrides, overrides,
span: Span::new(0, 0), span: Span::new(start, end),
} }
}; };
@@ -338,11 +339,11 @@ OverrideOp: OverrideOp = {
// ===== Life Arc ===== // ===== Life Arc =====
LifeArc: LifeArc = { LifeArc: LifeArc = {
"life_arc" <name:Ident> <reqs:RequiresClause?> "{" <fields:Field*> <states:ArcState*> "}" => LifeArc { <start:@L> "life_arc" <name:Ident> <reqs:RequiresClause?> "{" <fields:Field*> <states:ArcState*> "}" <end:@R> => LifeArc {
name, name,
required_fields: reqs.unwrap_or_default(), required_fields: reqs.unwrap_or_default(),
states, states,
span: Span::new(0, 0), span: Span::new(start, end),
} }
}; };
@@ -351,19 +352,19 @@ RequiresClause: Vec<FieldRequirement> = {
}; };
FieldReq: FieldRequirement = { FieldReq: FieldRequirement = {
<name:Ident> ":" <type_name:Ident> => FieldRequirement { <start:@L> <name:Ident> ":" <type_name:Ident> <end:@R> => FieldRequirement {
name, name,
type_name, type_name,
span: Span::new(0, 0), span: Span::new(start, end),
} }
}; };
ArcState: ArcState = { ArcState: ArcState = {
"state" <name:Ident> "{" <on_enter:OnEnter?> <fields:Field*> <transitions:Transition*> "}" => ArcState { <start:@L> "state" <name:Ident> "{" <on_enter:OnEnter?> <fields:Field*> <transitions:Transition*> "}" <end:@R> => ArcState {
name, name,
on_enter, on_enter,
transitions, transitions,
span: Span::new(0, 0), span: Span::new(start, end),
} }
}; };
@@ -372,10 +373,10 @@ OnEnter: Vec<Field> = {
}; };
Transition: Transition = { Transition: Transition = {
"on" <cond:Expr> "->" <to:Ident> => Transition { <start:@L> "on" <cond:Expr> "->" <to:Ident> <end:@R> => Transition {
to, to,
condition: cond, condition: cond,
span: Span::new(0, 0), span: Span::new(start, end),
} }
}; };
@@ -383,22 +384,22 @@ Transition: Transition = {
Schedule: Schedule = { Schedule: Schedule = {
// Simple schedule: schedule Name { ... } // Simple schedule: schedule Name { ... }
"schedule" <name:Ident> "{" <body:ScheduleBody> "}" => Schedule { <start:@L> "schedule" <name:Ident> "{" <body:ScheduleBody> "}" <end:@R> => Schedule {
name, name,
extends: None, extends: None,
fields: body.0, fields: body.0,
blocks: body.1, blocks: body.1,
recurrences: body.2, recurrences: body.2,
span: Span::new(0, 0), span: Span::new(start, end),
}, },
// Extending schedule: schedule Name extends Base { ... } // Extending schedule: schedule Name extends Base { ... }
"schedule" <name:Ident> "extends" <base:Ident> "{" <body:ScheduleBody> "}" => Schedule { <start:@L> "schedule" <name:Ident> "extends" <base:Ident> "{" <body:ScheduleBody> "}" <end:@R> => Schedule {
name, name,
extends: Some(base), extends: Some(base),
fields: body.0, fields: body.0,
blocks: body.1, blocks: body.1,
recurrences: body.2, recurrences: body.2,
span: Span::new(0, 0), span: Span::new(start, end),
} }
}; };
@@ -429,7 +430,7 @@ ScheduleBodyItem: ScheduleBodyItem = {
ScheduleBlock: ScheduleBlock = { ScheduleBlock: ScheduleBlock = {
// Legacy syntax: time -> time : activity { fields } // Legacy syntax: time -> time : activity { fields }
<start:Time> "->" <end:Time> ":" <activity:Ident> "{" <fields:Field*> "}" => ScheduleBlock { <s:@L> <start:Time> "->" <end:Time> ":" <activity:Ident> "{" <fields:Field*> "}" <e:@R> => ScheduleBlock {
name: None, name: None,
is_override: false, is_override: false,
start, start,
@@ -438,11 +439,11 @@ ScheduleBlock: ScheduleBlock = {
action: None, action: None,
temporal_constraint: None, temporal_constraint: None,
fields, fields,
span: Span::new(0, 0), span: Span::new(s, e),
}, },
// Named block: block name { time, action, fields } // Named block: block name { time, action, fields }
"block" <name:Ident> "{" <content:BlockContent> "}" => ScheduleBlock { <s:@L> "block" <name:Ident> "{" <content:BlockContent> "}" <e:@R> => ScheduleBlock {
name: Some(name), name: Some(name),
is_override: false, is_override: false,
start: content.0, start: content.0,
@@ -451,11 +452,11 @@ ScheduleBlock: ScheduleBlock = {
action: content.2, action: content.2,
temporal_constraint: None, temporal_constraint: None,
fields: content.3, fields: content.3,
span: Span::new(0, 0), span: Span::new(s, e),
}, },
// Override block: override name { time, action, fields } // Override block: override name { time, action, fields }
"override" <name:Ident> "{" <content:BlockContent> "}" => ScheduleBlock { <s:@L> "override" <name:Ident> "{" <content:BlockContent> "}" <e:@R> => ScheduleBlock {
name: Some(name), name: Some(name),
is_override: true, is_override: true,
start: content.0, start: content.0,
@@ -464,7 +465,7 @@ ScheduleBlock: ScheduleBlock = {
action: content.2, action: content.2,
temporal_constraint: None, temporal_constraint: None,
fields: content.3, fields: content.3,
span: Span::new(0, 0), span: Span::new(s, e),
} }
}; };
@@ -511,21 +512,21 @@ BlockContentItem: BlockContentItem = {
// Recurrence pattern: recurrence Name on DayOfWeek { blocks } // Recurrence pattern: recurrence Name on DayOfWeek { blocks }
RecurrencePattern: RecurrencePattern = { RecurrencePattern: RecurrencePattern = {
"recurrence" <name:Ident> "on" <day:Ident> "{" <blocks:ScheduleBlock+> "}" => RecurrencePattern { <start:@L> "recurrence" <name:Ident> "on" <day:Ident> "{" <blocks:ScheduleBlock+> "}" <end:@R> => RecurrencePattern {
name, name,
constraint: TemporalConstraint::DayOfWeek(day), constraint: TemporalConstraint::DayOfWeek(day),
blocks, blocks,
span: Span::new(0, 0), span: Span::new(start, end),
} }
}; };
// ===== Behavior Trees ===== // ===== Behavior Trees =====
Behavior: Behavior = { Behavior: Behavior = {
"behavior" <name:Ident> "{" <fields:Field*> <root:BehaviorNode> "}" => Behavior { <start:@L> "behavior" <name:Ident> "{" <fields:Field*> <root:BehaviorNode> "}" <end:@R> => Behavior {
name, name,
root, root,
span: Span::new(0, 0), span: Span::new(start, end),
} }
}; };
@@ -649,16 +650,16 @@ ActionNode: BehaviorNode = {
ActionParam: Field = { ActionParam: Field = {
// Named parameter: field: value // Named parameter: field: value
<path:DottedPath> ":" <value:Value> => Field { <start:@L> <path:DottedPath> ":" <value:Value> <end:@R> => Field {
name: path.join("."), name: path.join("."),
value, value,
span: Span::new(0, 0), span: Span::new(start, end),
}, },
// Positional parameter: just a value (use empty string as field name) // Positional parameter: just a value (use empty string as field name)
<value:Value> => Field { <start:@L> <value:Value> <end:@R> => Field {
name: String::new(), name: String::new(),
value, value,
span: Span::new(0, 0), span: Span::new(start, end),
}, },
}; };
@@ -670,13 +671,13 @@ SubTreeNode: BehaviorNode = {
// ===== Institution ===== // ===== Institution =====
Institution: Institution = { Institution: Institution = {
"institution" <name:Ident> "{" <body:InstitutionBody> "}" => { <start:@L> "institution" <name:Ident> "{" <body:InstitutionBody> "}" <end:@R> => {
Institution { Institution {
name, name,
fields: body.0, fields: body.0,
uses_behaviors: body.1, uses_behaviors: body.1,
uses_schedule: body.2, uses_schedule: body.2,
span: Span::new(0, 0), span: Span::new(start, end),
} }
} }
}; };
@@ -709,49 +710,49 @@ InstitutionBodyItem: InstitutionBodyItem = {
// ===== Relationship ===== // ===== Relationship =====
Relationship: Relationship = { Relationship: Relationship = {
"relationship" <name:Ident> "{" <participants:Participant+> <fields:Field*> "}" => Relationship { <start:@L> "relationship" <name:Ident> "{" <participants:Participant+> <fields:Field*> "}" <end:@R> => Relationship {
name, name,
participants, participants,
fields, fields,
span: Span::new(0, 0), span: Span::new(start, end),
} }
}; };
Participant: Participant = { Participant: Participant = {
// Participant with role and block (block required) // Participant with role and block (block required)
<name:Path> "as" <role:Ident> "{" <fields:Field*> "}" => Participant { <start:@L> <name:Path> "as" <role:Ident> "{" <fields:Field*> "}" <end:@R> => Participant {
name, name,
role: Some(role), role: Some(role),
fields, fields,
span: Span::new(0, 0), span: Span::new(start, end),
}, },
// Participant without role (block still required) // Participant without role (block still required)
<name:Path> "{" <fields:Field*> "}" => Participant { <start:@L> <name:Path> "{" <fields:Field*> "}" <end:@R> => Participant {
name, name,
role: None, role: None,
fields, fields,
span: Span::new(0, 0), span: Span::new(start, end),
}, },
}; };
// ===== Location ===== // ===== Location =====
Location: Location = { Location: Location = {
"location" <name:Ident> "{" <fields:Field*> "}" => Location { <start:@L> "location" <name:Ident> "{" <fields:Field*> "}" <end:@R> => Location {
name, name,
fields, fields,
span: Span::new(0, 0), span: Span::new(start, end),
} }
}; };
// ===== Species ===== // ===== Species =====
Species: Species = { Species: Species = {
"species" <name:Ident> "{" <includes:Include*> <fields:Field*> "}" => Species { <start:@L> "species" <name:Ident> "{" <includes:Include*> <fields:Field*> "}" <end:@R> => Species {
name, name,
includes, includes,
fields, fields,
span: Span::new(0, 0), span: Span::new(start, end),
} }
}; };
@@ -760,35 +761,36 @@ Species: Species = {
// ===== Type System Declarations ===== // ===== Type System Declarations =====
ConceptDecl: ConceptDecl = { ConceptDecl: ConceptDecl = {
"concept" <name:Ident> => ConceptDecl { <start:@L> "concept" <name:Ident> <end:@R> => ConceptDecl {
name, name,
span: Span::new(0, 0), span: Span::new(start, end),
} }
}; };
SubConceptDecl: SubConceptDecl = { SubConceptDecl: SubConceptDecl = {
// Enum-like sub_concept: sub_concept Cup.Type { Small, Medium, Large } // Enum-like sub_concept: sub_concept Cup.Type { Small, Medium, Large }
"sub_concept" <parent:Ident> "." <name:Ident> "{" <variants:Comma<Ident>> "}" => { <start:@L> "sub_concept" <parent:Ident> "." <name:Ident> "{" <variants:Comma<Ident>> "}" <end:@R> => {
SubConceptDecl { SubConceptDecl {
name, name,
parent_concept: parent, parent_concept: parent,
kind: SubConceptKind::Enum { variants }, kind: SubConceptKind::Enum { variants },
span: Span::new(0, 0), span: Span::new(start, end),
} }
}, },
// Record-like sub_concept with at least one field: sub_concept Cup.Material { weight: 100 } // Record-like sub_concept with at least one field: sub_concept Cup.Material { weight: 100 }
"sub_concept" <parent:Ident> "." <name:Ident> "{" <first:Ident> ":" <first_val:Value> <rest:("," <Ident> ":" <Value>)*> ","? "}" => { <start:@L> "sub_concept" <parent:Ident> "." <name:Ident> "{" <first:Ident> ":" <first_val:Value> <rest:("," <Ident> ":" <Value>)*> ","? "}" <end:@R> => {
let field_span = Span::new(start, end);
let mut fields = vec![Field { let mut fields = vec![Field {
name: first, name: first,
value: first_val, value: first_val,
span: Span::new(0, 0), span: field_span.clone(),
}]; }];
for (field_name, field_val) in rest { for (field_name, field_val) in rest {
fields.push(Field { fields.push(Field {
name: field_name, name: field_name,
value: field_val, value: field_val,
span: Span::new(0, 0), span: field_span.clone(),
}); });
} }
@@ -796,37 +798,37 @@ SubConceptDecl: SubConceptDecl = {
name, name,
parent_concept: parent, parent_concept: parent,
kind: SubConceptKind::Record { fields }, kind: SubConceptKind::Record { fields },
span: Span::new(0, 0), span: Span::new(start, end),
} }
}, },
}; };
ConceptComparisonDecl: ConceptComparisonDecl = { ConceptComparisonDecl: ConceptComparisonDecl = {
"concept_comparison" <name:Ident> "{" <variants:Comma<VariantPattern>> "}" => ConceptComparisonDecl { <start:@L> "concept_comparison" <name:Ident> "{" <variants:Comma<VariantPattern>> "}" <end:@R> => ConceptComparisonDecl {
name, name,
variants, variants,
span: Span::new(0, 0), span: Span::new(start, end),
} }
}; };
VariantPattern: VariantPattern = { VariantPattern: VariantPattern = {
<name:Ident> ":" "{" <conditions:Comma<FieldCondition>> "}" => VariantPattern { <start:@L> <name:Ident> ":" "{" <conditions:Comma<FieldCondition>> "}" <end:@R> => VariantPattern {
name, name,
conditions, conditions,
span: Span::new(0, 0), span: Span::new(start, end),
} }
}; };
FieldCondition: FieldCondition = { FieldCondition: FieldCondition = {
<field:Ident> ":" "any" => FieldCondition { <start:@L> <field:Ident> ":" "any" <end:@R> => FieldCondition {
field_name: field, field_name: field,
condition: Condition::Any, condition: Condition::Any,
span: Span::new(0, 0), span: Span::new(start, end),
}, },
<field:Ident> ":" <cond:IsCondition> => FieldCondition { <start:@L> <field:Ident> ":" <cond:IsCondition> <end:@R> => FieldCondition {
field_name: field, field_name: field,
condition: Condition::Is(cond), condition: Condition::Is(cond),
span: Span::new(0, 0), span: Span::new(start, end),
}, },
}; };

11366
src/syntax/parser.rs
View File

File diff suppressed because it is too large Load Diff

1
zed-storybook/grammars/storybook Submodule

Submodule zed-storybook/grammars/storybook added at 80332971b8