hawkinsw/gp4
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add Defaults For All Types

Browse Source 
Signed-off-by: Will Hawkins <hawkinsw@obs.cr>
This commit is contained in:
Will Hawkins
2026-03-20 04:18:51 -04:00
parent 0aef385afc
commit 6a9a138afe
3 changed files with 36 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Sources/Common/Protocols.swift
+11 -4
View File
@@ -34,14 +34,21 @@ public protocol EvaluatableStatement {
public protocol P4Type: CustomStringConvertible {
func eq(rhs: any P4Type) -> Bool
func def() -> P4Value
}
public protocol P4Value: CustomStringConvertible {
public protocol P4Value: EvaluatableExpression, CustomStringConvertible {
func type() -> any P4Type
func eq(rhs: P4Value) -> Bool
}
public protocol EvaluatableLValueExpression: EvaluatableExpression {
func set(to: P4Value, inScopes scopes: ValueScopes, duringExecution execution: ProgramExecution) -> Result<(ValueScopes, P4Value)>
func check(to: EvaluatableExpression, inScopes scopes: TypeScopes) -> Result<()>
public extension P4Value {
func evaluate(execution: ProgramExecution) -> Result<P4Value> {
return Result.Ok(self)
}
}
public protocol EvaluatableLValueExpression: EvaluatableExpression {
func set(to: P4Value, inScopes scopes: VarValueScopes, duringExecution execution: ProgramExecution) -> Result<(VarValueScopes, P4Value)>
func check(to: EvaluatableExpression, inScopes scopes: VarTypeScopes) -> Result<()>
}