2017-05-18 23:51:52 +02:00
|
|
|
// Licensed to Pulumi Corporation ("Pulumi") under one or more
|
|
|
|
// contributor license agreements. See the NOTICE file distributed with
|
|
|
|
// this work for additional information regarding copyright ownership.
|
|
|
|
// Pulumi licenses this file to You 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.
|
2017-03-09 16:43:28 +01:00
|
|
|
|
2017-04-12 19:38:12 +02:00
|
|
|
package main
|
2017-03-09 16:43:28 +01:00
|
|
|
|
|
|
|
import (
|
|
|
|
"errors"
|
|
|
|
|
2017-05-18 20:38:28 +02:00
|
|
|
"github.com/pulumi/lumi/pkg/util/cmdutil"
|
2017-03-09 16:43:28 +01:00
|
|
|
"github.com/spf13/cobra"
|
|
|
|
)
|
|
|
|
|
|
|
|
func newPackVerifyCmd() *cobra.Command {
|
|
|
|
var cmd = &cobra.Command{
|
|
|
|
Use: "verify [package]",
|
|
|
|
Short: "Check that a package's metadata and IL are correct",
|
|
|
|
Long: "Check that a package's metadata and IL are correct\n" +
|
|
|
|
"\n" +
|
|
|
|
"A package contains intermediate language (IL) that encodes symbols, definitions,\n" +
|
|
|
|
"and executable code. This IL must obey a set of specific rules for it to be considered\n" +
|
|
|
|
"legal and valid. Otherwise, evaluating it will fail.\n" +
|
|
|
|
"\n" +
|
|
|
|
"The verify command thoroughly checks the package's IL against these rules, and issues\n" +
|
|
|
|
"errors anywhere it doesn't obey them. This is generally useful for tools developers\n" +
|
|
|
|
"and can ensure that code does not fail at runtime, when such invariants are checked.",
|
2017-04-12 20:12:25 +02:00
|
|
|
Run: cmdutil.RunFunc(func(cmd *cobra.Command, args []string) error {
|
2017-03-09 16:43:28 +01:00
|
|
|
// Create a compiler object and perform the verification.
|
|
|
|
if !verify(cmd, args) {
|
|
|
|
return errors.New("verification failed")
|
|
|
|
}
|
|
|
|
return nil
|
|
|
|
}),
|
|
|
|
}
|
|
|
|
|
|
|
|
return cmd
|
|
|
|
}
|
2017-06-02 21:43:04 +02:00
|
|
|
|
|
|
|
// verify creates a compiler, much like compile, but only performs binding and verification on it. If verification
|
|
|
|
// succeeds, the return value is true; if verification fails, errors will have been output, and the return is false.
|
|
|
|
func verify(cmd *cobra.Command, args []string) bool {
|
|
|
|
// Prepare the compiler info and, provided it succeeds, perform the verification.
|
|
|
|
if comp, pkg := prepareCompiler(cmd, args); comp != nil {
|
|
|
|
// Now perform the compilation and extract the heap snapshot.
|
|
|
|
if pkg == nil {
|
|
|
|
return comp.Verify()
|
|
|
|
}
|
|
|
|
return comp.VerifyPackage(pkg)
|
|
|
|
}
|
|
|
|
|
|
|
|
return false
|
|
|
|
}
|