de.uni_luebeck.isp.tessla.tessladoc.TesslaDoc.DefDoc
case class DefDoc(name: String, src: String, typeParameters: Seq[String], parameters: Seq[Param], returnType: Option[Type], doc: String, loc: Location, isLiftable: Boolean) extends TesslaDoc
Attributes
-
Graph
-
-
Supertypes
-
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Members list
Attributes
-
Inherited from:
-
Product
Attributes
-
Inherited from:
-
Product