github.com/magodo/terraform@v0.11.12-beta1/dag/marshal.go (about)

     1  package dag
     2  
     3  import (
     4  	"encoding/json"
     5  	"fmt"
     6  	"io"
     7  	"log"
     8  	"reflect"
     9  	"sort"
    10  	"strconv"
    11  	"sync"
    12  )
    13  
    14  const (
    15  	typeOperation             = "Operation"
    16  	typeTransform             = "Transform"
    17  	typeWalk                  = "Walk"
    18  	typeDepthFirstWalk        = "DepthFirstWalk"
    19  	typeReverseDepthFirstWalk = "ReverseDepthFirstWalk"
    20  	typeTransitiveReduction   = "TransitiveReduction"
    21  	typeEdgeInfo              = "EdgeInfo"
    22  	typeVertexInfo            = "VertexInfo"
    23  	typeVisitInfo             = "VisitInfo"
    24  )
    25  
    26  // the marshal* structs are for serialization of the graph data.
    27  type marshalGraph struct {
    28  	// Type is always "Graph", for identification as a top level object in the
    29  	// JSON stream.
    30  	Type string
    31  
    32  	// Each marshal structure requires a unique ID so that it can be referenced
    33  	// by other structures.
    34  	ID string `json:",omitempty"`
    35  
    36  	// Human readable name for this graph.
    37  	Name string `json:",omitempty"`
    38  
    39  	// Arbitrary attributes that can be added to the output.
    40  	Attrs map[string]string `json:",omitempty"`
    41  
    42  	// List of graph vertices, sorted by ID.
    43  	Vertices []*marshalVertex `json:",omitempty"`
    44  
    45  	// List of edges, sorted by Source ID.
    46  	Edges []*marshalEdge `json:",omitempty"`
    47  
    48  	// Any number of subgraphs. A subgraph itself is considered a vertex, and
    49  	// may be referenced by either end of an edge.
    50  	Subgraphs []*marshalGraph `json:",omitempty"`
    51  
    52  	// Any lists of vertices that are included in cycles.
    53  	Cycles [][]*marshalVertex `json:",omitempty"`
    54  }
    55  
    56  // The add, remove, connect, removeEdge methods mirror the basic Graph
    57  // manipulations to reconstruct a marshalGraph from a debug log.
    58  func (g *marshalGraph) add(v *marshalVertex) {
    59  	g.Vertices = append(g.Vertices, v)
    60  	sort.Sort(vertices(g.Vertices))
    61  }
    62  
    63  func (g *marshalGraph) remove(v *marshalVertex) {
    64  	for i, existing := range g.Vertices {
    65  		if v.ID == existing.ID {
    66  			g.Vertices = append(g.Vertices[:i], g.Vertices[i+1:]...)
    67  			return
    68  		}
    69  	}
    70  }
    71  
    72  func (g *marshalGraph) connect(e *marshalEdge) {
    73  	g.Edges = append(g.Edges, e)
    74  	sort.Sort(edges(g.Edges))
    75  }
    76  
    77  func (g *marshalGraph) removeEdge(e *marshalEdge) {
    78  	for i, existing := range g.Edges {
    79  		if e.Source == existing.Source && e.Target == existing.Target {
    80  			g.Edges = append(g.Edges[:i], g.Edges[i+1:]...)
    81  			return
    82  		}
    83  	}
    84  }
    85  
    86  func (g *marshalGraph) vertexByID(id string) *marshalVertex {
    87  	for _, v := range g.Vertices {
    88  		if id == v.ID {
    89  			return v
    90  		}
    91  	}
    92  	return nil
    93  }
    94  
    95  type marshalVertex struct {
    96  	// Unique ID, used to reference this vertex from other structures.
    97  	ID string
    98  
    99  	// Human readable name
   100  	Name string `json:",omitempty"`
   101  
   102  	Attrs map[string]string `json:",omitempty"`
   103  
   104  	// This is to help transition from the old Dot interfaces. We record if the
   105  	// node was a GraphNodeDotter here, so we can call it to get attributes.
   106  	graphNodeDotter GraphNodeDotter
   107  }
   108  
   109  func newMarshalVertex(v Vertex) *marshalVertex {
   110  	dn, ok := v.(GraphNodeDotter)
   111  	if !ok {
   112  		dn = nil
   113  	}
   114  
   115  	return &marshalVertex{
   116  		ID:              marshalVertexID(v),
   117  		Name:            VertexName(v),
   118  		Attrs:           make(map[string]string),
   119  		graphNodeDotter: dn,
   120  	}
   121  }
   122  
   123  // vertices is a sort.Interface implementation for sorting vertices by ID
   124  type vertices []*marshalVertex
   125  
   126  func (v vertices) Less(i, j int) bool { return v[i].Name < v[j].Name }
   127  func (v vertices) Len() int           { return len(v) }
   128  func (v vertices) Swap(i, j int)      { v[i], v[j] = v[j], v[i] }
   129  
   130  type marshalEdge struct {
   131  	// Human readable name
   132  	Name string
   133  
   134  	// Source and Target Vertices by ID
   135  	Source string
   136  	Target string
   137  
   138  	Attrs map[string]string `json:",omitempty"`
   139  }
   140  
   141  func newMarshalEdge(e Edge) *marshalEdge {
   142  	return &marshalEdge{
   143  		Name:   fmt.Sprintf("%s|%s", VertexName(e.Source()), VertexName(e.Target())),
   144  		Source: marshalVertexID(e.Source()),
   145  		Target: marshalVertexID(e.Target()),
   146  		Attrs:  make(map[string]string),
   147  	}
   148  }
   149  
   150  // edges is a sort.Interface implementation for sorting edges by Source ID
   151  type edges []*marshalEdge
   152  
   153  func (e edges) Less(i, j int) bool { return e[i].Name < e[j].Name }
   154  func (e edges) Len() int           { return len(e) }
   155  func (e edges) Swap(i, j int)      { e[i], e[j] = e[j], e[i] }
   156  
   157  // build a marshalGraph structure from a *Graph
   158  func newMarshalGraph(name string, g *Graph) *marshalGraph {
   159  	mg := &marshalGraph{
   160  		Type:  "Graph",
   161  		Name:  name,
   162  		Attrs: make(map[string]string),
   163  	}
   164  
   165  	for _, v := range g.Vertices() {
   166  		id := marshalVertexID(v)
   167  		if sg, ok := marshalSubgrapher(v); ok {
   168  			smg := newMarshalGraph(VertexName(v), sg)
   169  			smg.ID = id
   170  			mg.Subgraphs = append(mg.Subgraphs, smg)
   171  		}
   172  
   173  		mv := newMarshalVertex(v)
   174  		mg.Vertices = append(mg.Vertices, mv)
   175  	}
   176  
   177  	sort.Sort(vertices(mg.Vertices))
   178  
   179  	for _, e := range g.Edges() {
   180  		mg.Edges = append(mg.Edges, newMarshalEdge(e))
   181  	}
   182  
   183  	sort.Sort(edges(mg.Edges))
   184  
   185  	for _, c := range (&AcyclicGraph{*g}).Cycles() {
   186  		var cycle []*marshalVertex
   187  		for _, v := range c {
   188  			mv := newMarshalVertex(v)
   189  			cycle = append(cycle, mv)
   190  		}
   191  		mg.Cycles = append(mg.Cycles, cycle)
   192  	}
   193  
   194  	return mg
   195  }
   196  
   197  // Attempt to return a unique ID for any vertex.
   198  func marshalVertexID(v Vertex) string {
   199  	val := reflect.ValueOf(v)
   200  	switch val.Kind() {
   201  	case reflect.Chan, reflect.Func, reflect.Map, reflect.Ptr, reflect.Slice, reflect.UnsafePointer:
   202  		return strconv.Itoa(int(val.Pointer()))
   203  	case reflect.Interface:
   204  		return strconv.Itoa(int(val.InterfaceData()[1]))
   205  	}
   206  
   207  	if v, ok := v.(Hashable); ok {
   208  		h := v.Hashcode()
   209  		if h, ok := h.(string); ok {
   210  			return h
   211  		}
   212  	}
   213  
   214  	// fallback to a name, which we hope is unique.
   215  	return VertexName(v)
   216  
   217  	// we could try harder by attempting to read the arbitrary value from the
   218  	// interface, but we shouldn't get here from terraform right now.
   219  }
   220  
   221  // check for a Subgrapher, and return the underlying *Graph.
   222  func marshalSubgrapher(v Vertex) (*Graph, bool) {
   223  	sg, ok := v.(Subgrapher)
   224  	if !ok {
   225  		return nil, false
   226  	}
   227  
   228  	switch g := sg.Subgraph().DirectedGraph().(type) {
   229  	case *Graph:
   230  		return g, true
   231  	case *AcyclicGraph:
   232  		return &g.Graph, true
   233  	}
   234  
   235  	return nil, false
   236  }
   237  
   238  // The DebugOperationEnd func type provides a way to call an End function via a
   239  // method call, allowing for the chaining of methods in a defer statement.
   240  type DebugOperationEnd func(string)
   241  
   242  // End calls function e with the info parameter, marking the end of this
   243  // operation in the logs.
   244  func (e DebugOperationEnd) End(info string) { e(info) }
   245  
   246  // encoder provides methods to write debug data to an io.Writer, and is a noop
   247  // when no writer is present
   248  type encoder struct {
   249  	sync.Mutex
   250  	w io.Writer
   251  }
   252  
   253  // Encode is analogous to json.Encoder.Encode
   254  func (e *encoder) Encode(i interface{}) {
   255  	if e == nil || e.w == nil {
   256  		return
   257  	}
   258  	e.Lock()
   259  	defer e.Unlock()
   260  
   261  	js, err := json.Marshal(i)
   262  	if err != nil {
   263  		log.Println("[ERROR] dag:", err)
   264  		return
   265  	}
   266  	js = append(js, '\n')
   267  
   268  	_, err = e.w.Write(js)
   269  	if err != nil {
   270  		log.Println("[ERROR] dag:", err)
   271  		return
   272  	}
   273  }
   274  
   275  func (e *encoder) Add(v Vertex) {
   276  	if e == nil {
   277  		return
   278  	}
   279  	e.Encode(marshalTransform{
   280  		Type:      typeTransform,
   281  		AddVertex: newMarshalVertex(v),
   282  	})
   283  }
   284  
   285  // Remove records the removal of Vertex v.
   286  func (e *encoder) Remove(v Vertex) {
   287  	if e == nil {
   288  		return
   289  	}
   290  	e.Encode(marshalTransform{
   291  		Type:         typeTransform,
   292  		RemoveVertex: newMarshalVertex(v),
   293  	})
   294  }
   295  
   296  func (e *encoder) Connect(edge Edge) {
   297  	if e == nil {
   298  		return
   299  	}
   300  	e.Encode(marshalTransform{
   301  		Type:    typeTransform,
   302  		AddEdge: newMarshalEdge(edge),
   303  	})
   304  }
   305  
   306  func (e *encoder) RemoveEdge(edge Edge) {
   307  	if e == nil {
   308  		return
   309  	}
   310  	e.Encode(marshalTransform{
   311  		Type:       typeTransform,
   312  		RemoveEdge: newMarshalEdge(edge),
   313  	})
   314  }
   315  
   316  // BeginOperation marks the start of set of graph transformations, and returns
   317  // an EndDebugOperation func to be called once the opration is complete.
   318  func (e *encoder) BeginOperation(op string, info string) DebugOperationEnd {
   319  	if e == nil {
   320  		return func(string) {}
   321  	}
   322  
   323  	e.Encode(marshalOperation{
   324  		Type:  typeOperation,
   325  		Begin: op,
   326  		Info:  info,
   327  	})
   328  
   329  	return func(info string) {
   330  		e.Encode(marshalOperation{
   331  			Type: typeOperation,
   332  			End:  op,
   333  			Info: info,
   334  		})
   335  	}
   336  }
   337  
   338  // structure for recording graph transformations
   339  type marshalTransform struct {
   340  	// Type: "Transform"
   341  	Type         string
   342  	AddEdge      *marshalEdge   `json:",omitempty"`
   343  	RemoveEdge   *marshalEdge   `json:",omitempty"`
   344  	AddVertex    *marshalVertex `json:",omitempty"`
   345  	RemoveVertex *marshalVertex `json:",omitempty"`
   346  }
   347  
   348  func (t marshalTransform) Transform(g *marshalGraph) {
   349  	switch {
   350  	case t.AddEdge != nil:
   351  		g.connect(t.AddEdge)
   352  	case t.RemoveEdge != nil:
   353  		g.removeEdge(t.RemoveEdge)
   354  	case t.AddVertex != nil:
   355  		g.add(t.AddVertex)
   356  	case t.RemoveVertex != nil:
   357  		g.remove(t.RemoveVertex)
   358  	}
   359  }
   360  
   361  // this structure allows us to decode any object in the json stream for
   362  // inspection, then re-decode it into a proper struct if needed.
   363  type streamDecode struct {
   364  	Type string
   365  	Map  map[string]interface{}
   366  	JSON []byte
   367  }
   368  
   369  func (s *streamDecode) UnmarshalJSON(d []byte) error {
   370  	s.JSON = d
   371  	err := json.Unmarshal(d, &s.Map)
   372  	if err != nil {
   373  		return err
   374  	}
   375  
   376  	if t, ok := s.Map["Type"]; ok {
   377  		s.Type, _ = t.(string)
   378  	}
   379  	return nil
   380  }
   381  
   382  // structure for recording the beginning and end of any multi-step
   383  // transformations. These are informational, and not required to reproduce the
   384  // graph state.
   385  type marshalOperation struct {
   386  	Type  string
   387  	Begin string `json:",omitempty"`
   388  	End   string `json:",omitempty"`
   389  	Info  string `json:",omitempty"`
   390  }
   391  
   392  // decodeGraph decodes a marshalGraph from an encoded graph stream.
   393  func decodeGraph(r io.Reader) (*marshalGraph, error) {
   394  	dec := json.NewDecoder(r)
   395  
   396  	// a stream should always start with a graph
   397  	g := &marshalGraph{}
   398  
   399  	err := dec.Decode(g)
   400  	if err != nil {
   401  		return nil, err
   402  	}
   403  
   404  	// now replay any operations that occurred on the original graph
   405  	for dec.More() {
   406  		s := &streamDecode{}
   407  		err := dec.Decode(s)
   408  		if err != nil {
   409  			return g, err
   410  		}
   411  
   412  		// the only Type we're concerned with here is Transform to complete the
   413  		// Graph
   414  		if s.Type != typeTransform {
   415  			continue
   416  		}
   417  
   418  		t := &marshalTransform{}
   419  		err = json.Unmarshal(s.JSON, t)
   420  		if err != nil {
   421  			return g, err
   422  		}
   423  		t.Transform(g)
   424  	}
   425  	return g, nil
   426  }
   427  
   428  // marshalVertexInfo allows encoding arbitrary information about the a single
   429  // Vertex in the logs. These are accumulated for informational display while
   430  // rebuilding the graph.
   431  type marshalVertexInfo struct {
   432  	Type   string
   433  	Vertex *marshalVertex
   434  	Info   string
   435  }
   436  
   437  func newVertexInfo(infoType string, v Vertex, info string) *marshalVertexInfo {
   438  	return &marshalVertexInfo{
   439  		Type:   infoType,
   440  		Vertex: newMarshalVertex(v),
   441  		Info:   info,
   442  	}
   443  }
   444  
   445  // marshalEdgeInfo allows encoding arbitrary information about the a single
   446  // Edge in the logs. These are accumulated for informational display while
   447  // rebuilding the graph.
   448  type marshalEdgeInfo struct {
   449  	Type string
   450  	Edge *marshalEdge
   451  	Info string
   452  }
   453  
   454  func newEdgeInfo(infoType string, e Edge, info string) *marshalEdgeInfo {
   455  	return &marshalEdgeInfo{
   456  		Type: infoType,
   457  		Edge: newMarshalEdge(e),
   458  		Info: info,
   459  	}
   460  }
   461  
   462  // JSON2Dot reads a Graph debug log from and io.Reader, and converts the final
   463  // graph dot format.
   464  //
   465  // TODO: Allow returning the output at a certain point during decode.
   466  //       Encode extra information from the json log into the Dot.
   467  func JSON2Dot(r io.Reader) ([]byte, error) {
   468  	g, err := decodeGraph(r)
   469  	if err != nil {
   470  		return nil, err
   471  	}
   472  
   473  	return g.Dot(nil), nil
   474  }