ISABackendSymbol System
Symbol System Overview
The three symbol systems of SpecFormula ISA
SpecFormula provides three symbol systems that let you express variables, constraints, and time in Gherkin.
Symbol Systems
| Symbol System | Purpose | Syntax Example |
|---|---|---|
| VAR | Variable extraction and reference | >contextKey, $variable |
| CAS | Constraint assertions | &isNum, >(100) |
| TIME | Time expressions | @time("now"), @date("2025-12-25") |
Quick Reference
VAR-System
# Extract variable
| >todo1.id | title |
| <todoId | Buy milk |
# Reference variable
| todoId |
| $todo1.id |
# String interpolation
| greeting |
| Hello, ${user1.name}! |CAS-System
# Type check
| id | name |
| &isNum | &isStr |
# Numeric range
| age | price |
| &between(18, 65) | >(1000) |
# Time validation
| createdAt |
| &sameTime("2026-01-27T10:00:00") |TIME-System
# Absolute time
| eventTime |
| @time("2025-12-25T14:30:00") |
# Relative time
| dueDate |
| @time("now+7d") |
# Date only
| birthday |
| @date("2000-01-15") |