-
Notifications
You must be signed in to change notification settings - Fork 37
Expand file tree
/
Copy pathExercise1.java
More file actions
90 lines (82 loc) · 3.22 KB
/
Copy pathExercise1.java
File metadata and controls
90 lines (82 loc) · 3.22 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
// Copyright 2022 Google LLC
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// https://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
package codelab.solutions;
import dev.cel.common.CelAbstractSyntaxTree;
import dev.cel.common.CelValidationException;
import dev.cel.common.types.SimpleType;
import dev.cel.compiler.CelCompiler;
import dev.cel.compiler.CelCompilerFactory;
import dev.cel.runtime.CelEvaluationException;
import dev.cel.runtime.CelRuntime;
import dev.cel.runtime.CelRuntimeFactory;
/**
* Exercise1 evaluates a simple literal expression: "Hello, World!"
*
* <p>Compile, eval, profit!
*/
final class Exercise1 {
/**
* Compile the input {@code expression} and produce an AST. This method parses and type-checks the
* given expression to validate the syntax and type-agreement of the expression.
*
* @throws IllegalArgumentException If the expression is malformed due to syntactic or semantic
* errors.
*/
CelAbstractSyntaxTree compile(String expression) {
// Construct a CelCompiler instance.
// "String" is the expected output type for the type-checked expression
// CelCompiler is immutable and when statically configured can be moved to a static final
// member.
CelCompiler celCompiler =
CelCompilerFactory.standardCelCompilerBuilder().setResultType(SimpleType.STRING).build();
CelAbstractSyntaxTree ast;
try {
// Parse the expression
ast = celCompiler.parse(expression).getAst();
} catch (CelValidationException e) {
// Report syntactic errors, if present
throw new IllegalArgumentException(
"Failed to parse expression. Reason: " + e.getMessage(), e);
}
try {
// Type-check the expression for correctness
ast = celCompiler.check(ast).getAst();
} catch (CelValidationException e) {
// Report semantic errors, if present.
throw new IllegalArgumentException(
"Failed to type-check expression. Reason: " + e.getMessage(), e);
}
return ast;
}
/**
* Evaluates the compiled AST.
*
* @throws IllegalArgumentException If the compiled expression in AST fails to evaluate.
*/
Object eval(CelAbstractSyntaxTree ast) {
// Construct a CelRuntime instance
// CelRuntime is immutable just like the compiler and can be moved to a static final member.
CelRuntime celRuntime = CelRuntimeFactory.standardCelRuntimeBuilder().build();
try {
// Plan the program
CelRuntime.Program program = celRuntime.createProgram(ast);
// Evaluate the program without any additional arguments.
return program.eval();
} catch (CelEvaluationException e) {
// Report any evaluation errors, if present
throw new IllegalArgumentException(
"Evaluation error has occurred. Reason: " + e.getMessage(), e);
}
}
}