|
| 1 | +package generated { |
| 2 | +/***************************************** |
| 3 | + Emitting Generated Code |
| 4 | +*******************************************/ |
| 5 | +class ListMaps extends ((scala.collection.immutable.List[RecordStringRecordStringListRecordStringintintintintListRecordRecordStringintintintintRecordStringintintintint])=>(scala.xml.Node)) { |
| 6 | +def apply(x0:scala.collection.immutable.List[RecordStringRecordStringListRecordStringintintintintListRecordRecordStringintintintintRecordStringintintintint]): scala.xml.Node = { |
| 7 | +val x13 = x0.flatMap { x1 => |
| 8 | +val x4 = x1.content |
| 9 | +val x5 = x4.name |
| 10 | +val x6 = {xml.Text(x5)} |
| 11 | +val x2 = x1.id |
| 12 | +val x3 = "/"+x2 |
| 13 | +val x8 = <a href={x3}>{x6}</a> |
| 14 | +val x10 = <li>{x8}</li> |
| 15 | +val x11 = List(x10) |
| 16 | +x11 |
| 17 | +} |
| 18 | +val x14 = List() |
| 19 | +val x15 = x13 ::: x14 |
| 20 | +val x16 = <ul>{x15}</ul> |
| 21 | +val x17 = {xml.Text("Create a ")} |
| 22 | +val x18 = {xml.Text("new mind map")} |
| 23 | +val x20 = <strong>{x18}</strong> |
| 24 | +val x21 = {xml.Text(": ")} |
| 25 | +val x22 = <input type={"text"} placeholder={"Name"} /> |
| 26 | +val x24 = <p>{List(x17, x20, x21, x22)}</p> |
| 27 | +val x26 = <div>{List(x16, x24)}</div> |
| 28 | +x26 |
| 29 | +} |
| 30 | +} |
| 31 | +/***************************************** |
| 32 | + End of Generated Code |
| 33 | +*******************************************/ |
| 34 | +/***************************************** |
| 35 | + Emitting Generated Code |
| 36 | +*******************************************/ |
| 37 | +class ShowMap extends ((RecordStringListRecordStringintintintintListRecordRecordStringintintintintRecordStringintintintint)=>(scala.collection.immutable.List[scala.xml.Node])) { |
| 38 | +def apply(x28:RecordStringListRecordStringintintintintListRecordRecordStringintintintintRecordStringintintintint): scala.collection.immutable.List[scala.xml.Node] = { |
| 39 | +val x29 = <defs /> |
| 40 | +val x30 = x28.vertices |
| 41 | +val x49 = (0).toString() |
| 42 | +val x55 = x30.map{ |
| 43 | +x31 => |
| 44 | +val x38 = x31.width |
| 45 | +val x40 = (x38).toString() |
| 46 | +val x39 = x31.height |
| 47 | +val x41 = (x39).toString() |
| 48 | +val x42 = <rect width={x40} height={x41} /> |
| 49 | +val x45 = x31.content |
| 50 | +val x46 = {xml.Text(x45)} |
| 51 | +val x43 = "height: "+x39 |
| 52 | +val x44 = x43+"px;" |
| 53 | +val x48 = <p style={x44}>{x46}</p> |
| 54 | +val x51 = <foreignObject x={x49} y={x49} width={x40} height={x41}>{x48}</foreignObject> |
| 55 | +val x32 = x31.posx |
| 56 | +val x33 = "translate("+x32 |
| 57 | +val x34 = x33+"," |
| 58 | +val x35 = x31.posy |
| 59 | +val x36 = x34+x35 |
| 60 | +val x37 = x36+")" |
| 61 | +val x53 = <g class={"vertex"} transform={x37}>{List(x42, x51)}</g> |
| 62 | +x53 |
| 63 | +} |
| 64 | +val x56 = x28.edges |
| 65 | +val x84 = x56.map{ |
| 66 | +x57 => |
| 67 | +val x58 = x57.orig |
| 68 | +val x59 = x58.posx |
| 69 | +val x60 = x58.width |
| 70 | +val x61 = x60 / 2 |
| 71 | +val x62 = x59 + x61 |
| 72 | +val x76 = (x62).toString() |
| 73 | +val x63 = x58.posy |
| 74 | +val x64 = x58.height |
| 75 | +val x65 = x64 / 2 |
| 76 | +val x66 = x63 + x65 |
| 77 | +val x77 = (x66).toString() |
| 78 | +val x67 = x57.end |
| 79 | +val x68 = x67.posx |
| 80 | +val x69 = x67.width |
| 81 | +val x70 = x69 / 2 |
| 82 | +val x71 = x68 + x70 |
| 83 | +val x78 = (x71).toString() |
| 84 | +val x72 = x67.posy |
| 85 | +val x73 = x67.height |
| 86 | +val x74 = x73 / 2 |
| 87 | +val x75 = x72 + x74 |
| 88 | +val x79 = (x75).toString() |
| 89 | +val x80 = <line x1={x76} y1={x77} x2={x78} y2={x79} /> |
| 90 | +val x82 = <g class={"edge"}>{x80}</g> |
| 91 | +x82 |
| 92 | +} |
| 93 | +val x85 = x84 ::: x55 |
| 94 | +x85 |
| 95 | +} |
| 96 | +} |
| 97 | +/***************************************** |
| 98 | + End of Generated Code |
| 99 | +*******************************************/ |
| 100 | +/***************************************** |
| 101 | + Emitting Generated Code |
| 102 | +*******************************************/ |
| 103 | +class MindMap extends ((java.lang.String, scala.collection.immutable.List[RecordStringintintintint], scala.collection.immutable.List[RecordRecordStringintintintintRecordStringintintintint])=>(RecordStringListRecordStringintintintintListRecordRecordStringintintintintRecordStringintintintint)) { |
| 104 | +def apply(x87:java.lang.String, x88:scala.collection.immutable.List[RecordStringintintintint], x89:scala.collection.immutable.List[RecordRecordStringintintintintRecordStringintintintint]): RecordStringListRecordStringintintintintListRecordRecordStringintintintintRecordStringintintintint = { |
| 105 | +val x90 = RecordStringListRecordStringintintintintListRecordRecordStringintintintintRecordStringintintintint(name = x87, vertices = x88, edges = x89) |
| 106 | +x90 |
| 107 | +} |
| 108 | +} |
| 109 | +/***************************************** |
| 110 | + End of Generated Code |
| 111 | +*******************************************/ |
| 112 | +/***************************************** |
| 113 | + Emitting Generated Code |
| 114 | +*******************************************/ |
| 115 | +class MindMapR extends ((java.lang.String, RecordStringListRecordStringintintintintListRecordRecordStringintintintintRecordStringintintintint)=>(RecordStringRecordStringListRecordStringintintintintListRecordRecordStringintintintintRecordStringintintintint)) { |
| 116 | +def apply(x91:java.lang.String, x92:RecordStringListRecordStringintintintintListRecordRecordStringintintintintRecordStringintintintint): RecordStringRecordStringListRecordStringintintintintListRecordRecordStringintintintintRecordStringintintintint = { |
| 117 | +val x93 = RecordStringRecordStringListRecordStringintintintintListRecordRecordStringintintintintRecordStringintintintint(id = x91, content = x92) |
| 118 | +x93 |
| 119 | +} |
| 120 | +} |
| 121 | +/***************************************** |
| 122 | + End of Generated Code |
| 123 | +*******************************************/ |
| 124 | +/***************************************** |
| 125 | + Emitting Generated Code |
| 126 | +*******************************************/ |
| 127 | +class Vertex extends ((java.lang.String, Int, Int, Int, Int)=>(RecordStringintintintint)) { |
| 128 | +def apply(x94:java.lang.String, x95:Int, x96:Int, x97:Int, x98:Int): RecordStringintintintint = { |
| 129 | +val x99 = RecordStringintintintint(height = x98, posy = x96, content = x94, posx = x95, width = x97) |
| 130 | +x99 |
| 131 | +} |
| 132 | +} |
| 133 | +/***************************************** |
| 134 | + End of Generated Code |
| 135 | +*******************************************/ |
| 136 | +/***************************************** |
| 137 | + Emitting Generated Code |
| 138 | +*******************************************/ |
| 139 | +class Edge extends ((RecordStringintintintint, RecordStringintintintint)=>(RecordRecordStringintintintintRecordStringintintintint)) { |
| 140 | +def apply(x100:RecordStringintintintint, x101:RecordStringintintintint): RecordRecordStringintintintintRecordStringintintintint = { |
| 141 | +val x102 = RecordRecordStringintintintintRecordStringintintintint(orig = x100, end = x101) |
| 142 | +x102 |
| 143 | +} |
| 144 | +} |
| 145 | +/***************************************** |
| 146 | + End of Generated Code |
| 147 | +*******************************************/ |
| 148 | +case class RecordRecordStringintintintintRecordStringintintintint(orig: RecordStringintintintint, end: RecordStringintintintint) |
| 149 | +case class RecordStringintintintint(height: Int, posy: Int, content: java.lang.String, posx: Int, width: Int) |
| 150 | +case class RecordStringListRecordStringintintintintListRecordRecordStringintintintintRecordStringintintintint(name: java.lang.String, vertices: scala.collection.immutable.List[RecordStringintintintint], edges: scala.collection.immutable.List[RecordRecordStringintintintintRecordStringintintintint]) |
| 151 | +case class RecordStringRecordStringListRecordStringintintintintListRecordRecordStringintintintintRecordStringintintintint(id: java.lang.String, content: RecordStringListRecordStringintintintintListRecordRecordStringintintintintRecordStringintintintint) |
| 152 | +} |
| 153 | +package object models { |
| 154 | + object MindMap extends generated.MindMap |
| 155 | + type MindMap = generated.RecordStringListRecordStringintintintintListRecordRecordStringintintintintRecordStringintintintint |
| 156 | + object MindMapR extends generated.MindMapR |
| 157 | + type MindMapR = generated.RecordStringRecordStringListRecordStringintintintintListRecordRecordStringintintintintRecordStringintintintint |
| 158 | + object Vertex extends generated.Vertex |
| 159 | + type Vertex = generated.RecordStringintintintint |
| 160 | + object Edge extends generated.Edge |
| 161 | + type Edge = generated.RecordRecordStringintintintintRecordStringintintintint |
| 162 | +} |
| 163 | +package object views { |
| 164 | + object listMaps extends generated.ListMaps |
| 165 | + object showMap extends generated.ShowMap |
| 166 | +} |
0 commit comments