Add a utility package for HCL2-based codegen. (#4104)

This package contains a driver for generating source code from HCL2
expressions. The driver is based on the fmt package's support for custom
formatters.
This commit is contained in:
Pat Gavlin 2020-03-18 15:25:10 -07:00 committed by GitHub
parent 8efd992bab
commit 7501f758b9
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 188 additions and 0 deletions

View file

@ -0,0 +1,26 @@
// Copyright 2016-2020, Pulumi Corporation.
//
// 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
//
// http://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 format
import "fmt"
// Func is a function type that implements the fmt.Formatter interface. This can be used to conveniently
// implement this interface for types defined in other packages.
type Func func(f fmt.State, c rune)
// Format invokes the Func's underlying function.
func (p Func) Format(f fmt.State, c rune) {
p(f, c)
}

View file

@ -0,0 +1,162 @@
// Copyright 2016-2020, Pulumi Corporation.
//
// 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
//
// http://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 format
import (
"fmt"
"io"
"github.com/hashicorp/hcl/v2"
"github.com/pulumi/pulumi/pkg/codegen/hcl2/model"
"github.com/pulumi/pulumi/pkg/util/contract"
)
// ExpressionGenerator is an interface that can be implemented in order to generate code for semantically-analyzed HCL2
// expressions using a Formatter.
type ExpressionGenerator interface {
// GenAnonymousFunctionExpression generates code for an AnonymousFunctionExpression.
GenAnonymousFunctionExpression(w io.Writer, expr *model.AnonymousFunctionExpression)
// GenBinaryOpExpression generates code for a BinaryOpExpression.
GenBinaryOpExpression(w io.Writer, expr *model.BinaryOpExpression)
// GenConditionalExpression generates code for a ConditionalExpression.
GenConditionalExpression(w io.Writer, expr *model.ConditionalExpression)
// GenForExpression generates code for a ForExpression.
GenForExpression(w io.Writer, expr *model.ForExpression)
// GenFunctionCallExpression generates code for a FunctionCallExpression.
GenFunctionCallExpression(w io.Writer, expr *model.FunctionCallExpression)
// GenIndexExpression generates code for an IndexExpression.
GenIndexExpression(w io.Writer, expr *model.IndexExpression)
// GenLiteralValueExpression generates code for a LiteralValueExpression.
GenLiteralValueExpression(w io.Writer, expr *model.LiteralValueExpression)
// GenObjectConsExpression generates code for an ObjectConsExpression.
GenObjectConsExpression(w io.Writer, expr *model.ObjectConsExpression)
// GenRelativeTraversalExpression generates code for a RelativeTraversalExpression.
GenRelativeTraversalExpression(w io.Writer, expr *model.RelativeTraversalExpression)
// GenScopeTraversalExpression generates code for a ScopeTraversalExpression.
GenScopeTraversalExpression(w io.Writer, expr *model.ScopeTraversalExpression)
// GenSplatExpression generates code for a SplatExpression.
GenSplatExpression(w io.Writer, expr *model.SplatExpression)
// GenTemplateExpression generates code for a TemplateExpression.
GenTemplateExpression(w io.Writer, expr *model.TemplateExpression)
// GenTemplateJoinExpression generates code for a TemplateJoinExpression.
GenTemplateJoinExpression(w io.Writer, expr *model.TemplateJoinExpression)
// GenTupleConsExpression generates code for a TupleConsExpression.
GenTupleConsExpression(w io.Writer, expr *model.TupleConsExpression)
// GenUnaryOpExpression generates code for a UnaryOpExpression.
GenUnaryOpExpression(w io.Writer, expr *model.UnaryOpExpression)
}
// Formatter is a convenience type that implements a number of common utilities used to emit source code. It implements
// the io.Writer interface.
type Formatter struct {
// The current indent level as a string.
Indent string
// The ExpressionGenerator to use in {G,Fg}en{,f}
g ExpressionGenerator
}
// NewFormatter creates a new emitter targeting the given io.Writer that will use the given ExpressionGenerator when
// generating code.
func NewFormatter(g ExpressionGenerator) *Formatter {
return &Formatter{g: g}
}
// Indented bumps the current indentation level, invokes the given function, and then resets the indentation level to
// its prior value.
func (e *Formatter) Indented(f func()) {
e.Indent += " "
f()
e.Indent = e.Indent[:len(e.Indent)-4]
}
// Fprint prints one or more values to the generator's output stream.
func (e *Formatter) Fprint(w io.Writer, a ...interface{}) {
_, err := fmt.Fprint(w, a...)
contract.IgnoreError(err)
}
// Fprintln prints one or more values to the generator's output stream, followed by a newline.
func (e *Formatter) Fprintln(w io.Writer, a ...interface{}) {
e.Fprint(w, a...)
e.Fprint(w, "\n")
}
// Fprintf prints a formatted message to the generator's output stream.
func (e *Formatter) Fprintf(w io.Writer, format string, a ...interface{}) {
_, err := fmt.Fprintf(w, format, a...)
contract.IgnoreError(err)
}
// Fgen generates code for a list of strings and expression trees. The former are written directly to the destination;
// the latter are recursively generated using the appropriate gen* functions.
func (e *Formatter) Fgen(w io.Writer, vs ...interface{}) {
for _, v := range vs {
switch v := v.(type) {
case string:
_, err := fmt.Fprint(w, v)
contract.IgnoreError(err)
case *model.AnonymousFunctionExpression:
e.g.GenAnonymousFunctionExpression(w, v)
case *model.BinaryOpExpression:
e.g.GenBinaryOpExpression(w, v)
case *model.ConditionalExpression:
e.g.GenConditionalExpression(w, v)
case *model.ForExpression:
e.g.GenForExpression(w, v)
case *model.FunctionCallExpression:
e.g.GenFunctionCallExpression(w, v)
case *model.IndexExpression:
e.g.GenIndexExpression(w, v)
case *model.LiteralValueExpression:
e.g.GenLiteralValueExpression(w, v)
case *model.ObjectConsExpression:
e.g.GenObjectConsExpression(w, v)
case *model.RelativeTraversalExpression:
e.g.GenRelativeTraversalExpression(w, v)
case *model.ScopeTraversalExpression:
e.g.GenScopeTraversalExpression(w, v)
case *model.SplatExpression:
e.g.GenSplatExpression(w, v)
case *model.TemplateExpression:
e.g.GenTemplateExpression(w, v)
case *model.TemplateJoinExpression:
e.g.GenTemplateJoinExpression(w, v)
case *model.TupleConsExpression:
e.g.GenTupleConsExpression(w, v)
case *model.UnaryOpExpression:
e.g.GenUnaryOpExpression(w, v)
default:
var rng hcl.Range
if v, isExpr := v.(model.Expression); isExpr {
rng = v.SyntaxNode().Range()
}
contract.Failf("unexpected expression node of type %T (%v)", v, rng)
}
}
}
// Fgenf generates code using a format string and its arguments. Any arguments that are BoundNode values are wrapped in
// a Func that calls the appropriate recursive generation function. This allows for the composition of standard
// format strings with expression/property code gen (e.e. `e.genf(w, ".apply(__arg0 => %v)", then)`, where `then` is
// an expression tree).
func (e *Formatter) Fgenf(w io.Writer, format string, args ...interface{}) {
for i := range args {
if node, ok := args[i].(model.Expression); ok {
args[i] = Func(func(f fmt.State, c rune) { e.Fgen(f, node) })
}
}
fmt.Fprintf(w, format, args...)
}