kythe.io@v0.0.68-0.20240422202219-7225dbc01741/kythe/go/indexer/testdata/basic/satisfies.go (about)

     1  // Package impl tests implementation relationships.
     2  package impl
     3  
     4  // - @Busy defines/binding BusyInterface
     5  type Busy interface {
     6  	//- @Do defines/binding DoMethod
     7  	//- DoMethod childof BusyInterface
     8  	Do()
     9  
    10  	//- @Be defines/binding BeMethod
    11  	//- BeMethod childof BusyInterface
    12  	Be()
    13  }
    14  
    15  // - @Phil defines/binding Phil
    16  // - Phil satisfies Busy
    17  type Phil int
    18  
    19  func (Phil) Do() {}
    20  func (Phil) Be() {}
    21  
    22  // - @Bad1 defines/binding DoOnly
    23  // - !{ DoOnly satisfies Busy}
    24  type Bad1 bool
    25  
    26  // - @Bad2 defines/binding BeOnly
    27  // - !{ BeOnly satisfies Busy}
    28  type Bad2 float64