<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>interfaces_spec.sl - Coverage</title>
<link rel="stylesheet" href="../assets/style.css">
</head>
<body>
<div class="container">
<header>
<h1>interfaces_spec.sl</h1>
<a href="../index.html" class="back-link">← Back to Dashboard</a>
</header>
<section class="source-view">
<table>
<tbody>
<tr class="code-line">
<td class="line-num">1</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>// ============================================================================</pre></td>
</tr><tr class="code-line">
<td class="line-num">2</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>// Interfaces Test Suite</pre></td>
</tr><tr class="code-line">
<td class="line-num">3</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>// ============================================================================</pre></td>
</tr><tr class="code-line">
<td class="line-num">4</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">5</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>describe("Interface Declaration", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">6</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("interface with method signature", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">7</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> interface Greetable {</pre></td>
</tr><tr class="code-line">
<td class="line-num">8</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> fn greet();</pre></td>
</tr><tr class="code-line">
<td class="line-num">9</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">10</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">11</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> class Person implements Greetable {</pre></td>
</tr><tr class="code-line">
<td class="line-num">12</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> fn greet() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">13</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> return "Hello";</pre></td>
</tr><tr class="code-line">
<td class="line-num">14</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">15</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">16</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">17</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let p = new Person();</pre></td>
</tr><tr class="code-line">
<td class="line-num">18</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(p.greet(), "Hello");</pre></td>
</tr><tr class="code-line">
<td class="line-num">19</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">20</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">21</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("interface with multiple methods", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">22</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> interface CRUD {</pre></td>
</tr><tr class="code-line">
<td class="line-num">23</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> fn create();</pre></td>
</tr><tr class="code-line">
<td class="line-num">24</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> fn read();</pre></td>
</tr><tr class="code-line">
<td class="line-num">25</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> fn update(data);</pre></td>
</tr><tr class="code-line">
<td class="line-num">26</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> fn delete();</pre></td>
</tr><tr class="code-line">
<td class="line-num">27</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">28</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">29</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> class SimpleStore implements CRUD {</pre></td>
</tr><tr class="code-line">
<td class="line-num">30</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> data: String = "";</pre></td>
</tr><tr class="code-line">
<td class="line-num">31</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">32</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> fn create() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">33</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> this.data = "created";</pre></td>
</tr><tr class="code-line">
<td class="line-num">34</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">35</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">36</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> fn read() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">37</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> return this.data;</pre></td>
</tr><tr class="code-line">
<td class="line-num">38</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">39</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">40</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> fn update(data) {</pre></td>
</tr><tr class="code-line">
<td class="line-num">41</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> this.data = data;</pre></td>
</tr><tr class="code-line">
<td class="line-num">42</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">43</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">44</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> fn delete() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">45</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> this.data = "";</pre></td>
</tr><tr class="code-line">
<td class="line-num">46</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">47</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">48</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">49</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let store = new SimpleStore();</pre></td>
</tr><tr class="code-line">
<td class="line-num">50</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> store.create();</pre></td>
</tr><tr class="code-line">
<td class="line-num">51</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(store.read(), "created");</pre></td>
</tr><tr class="code-line">
<td class="line-num">52</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> store.update("updated");</pre></td>
</tr><tr class="code-line">
<td class="line-num">53</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(store.read(), "updated");</pre></td>
</tr><tr class="code-line">
<td class="line-num">54</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> store.delete();</pre></td>
</tr><tr class="code-line">
<td class="line-num">55</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(store.read(), "");</pre></td>
</tr><tr class="code-line">
<td class="line-num">56</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">57</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">58</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("interface with typed parameters", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">59</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> interface Calculator {</pre></td>
</tr><tr class="code-line">
<td class="line-num">60</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> fn add(a, b);</pre></td>
</tr><tr class="code-line">
<td class="line-num">61</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> fn multiply(a, b);</pre></td>
</tr><tr class="code-line">
<td class="line-num">62</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">63</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">64</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> class SimpleCalc implements Calculator {</pre></td>
</tr><tr class="code-line">
<td class="line-num">65</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> fn add(a, b) {</pre></td>
</tr><tr class="code-line">
<td class="line-num">66</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> return a + b;</pre></td>
</tr><tr class="code-line">
<td class="line-num">67</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">68</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">69</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> fn multiply(a, b) {</pre></td>
</tr><tr class="code-line">
<td class="line-num">70</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> return a * b;</pre></td>
</tr><tr class="code-line">
<td class="line-num">71</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">72</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">73</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">74</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let calc = new SimpleCalc();</pre></td>
</tr><tr class="code-line">
<td class="line-num">75</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(calc.add(3, 4), 7);</pre></td>
</tr><tr class="code-line">
<td class="line-num">76</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(calc.multiply(2, 5), 10);</pre></td>
</tr><tr class="code-line">
<td class="line-num">77</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">78</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">79</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("empty interface", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">80</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> interface Empty {</pre></td>
</tr><tr class="code-line">
<td class="line-num">81</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">82</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">83</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> class EmptyImpl implements Empty {</pre></td>
</tr><tr class="code-line">
<td class="line-num">84</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">85</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">86</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let e = new EmptyImpl();</pre></td>
</tr><tr class="code-line">
<td class="line-num">87</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_not_null(e);</pre></td>
</tr><tr class="code-line">
<td class="line-num">88</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">89</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>});</pre></td>
</tr><tr class="code-line">
<td class="line-num">90</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">91</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>describe("Interface Implementation", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">92</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("class implements single interface", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">93</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> interface Printable {</pre></td>
</tr><tr class="code-line">
<td class="line-num">94</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> fn print();</pre></td>
</tr><tr class="code-line">
<td class="line-num">95</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">96</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">97</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> class Document implements Printable {</pre></td>
</tr><tr class="code-line">
<td class="line-num">98</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> content: String;</pre></td>
</tr><tr class="code-line">
<td class="line-num">99</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">100</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> new(content: String) {</pre></td>
</tr><tr class="code-line">
<td class="line-num">101</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> this.content = content;</pre></td>
</tr><tr class="code-line">
<td class="line-num">102</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">103</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">104</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> fn print() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">105</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> return this.content;</pre></td>
</tr><tr class="code-line">
<td class="line-num">106</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">107</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">108</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">109</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let doc = new Document("Hello World");</pre></td>
</tr><tr class="code-line">
<td class="line-num">110</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(doc.print(), "Hello World");</pre></td>
</tr><tr class="code-line">
<td class="line-num">111</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">112</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">113</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("class implements multiple interfaces", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">114</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> interface Loggable {</pre></td>
</tr><tr class="code-line">
<td class="line-num">115</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> fn log();</pre></td>
</tr><tr class="code-line">
<td class="line-num">116</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">117</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">118</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> interface Serializable {</pre></td>
</tr><tr class="code-line">
<td class="line-num">119</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> fn serialize();</pre></td>
</tr><tr class="code-line">
<td class="line-num">120</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">121</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">122</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> class Data implements Loggable, Serializable {</pre></td>
</tr><tr class="code-line">
<td class="line-num">123</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> value: Int;</pre></td>
</tr><tr class="code-line">
<td class="line-num">124</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">125</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> new(value: Int) {</pre></td>
</tr><tr class="code-line">
<td class="line-num">126</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> this.value = value;</pre></td>
</tr><tr class="code-line">
<td class="line-num">127</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">128</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">129</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> fn log() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">130</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> return "Data: " + str(this.value);</pre></td>
</tr><tr class="code-line">
<td class="line-num">131</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">132</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">133</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> fn serialize() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">134</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> return "{\"value\":" + str(this.value) + "}";</pre></td>
</tr><tr class="code-line">
<td class="line-num">135</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">136</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">137</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">138</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let d = new Data(42);</pre></td>
</tr><tr class="code-line">
<td class="line-num">139</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(d.log(), "Data: 42");</pre></td>
</tr><tr class="code-line">
<td class="line-num">140</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(d.serialize(), "{\"value\":42}");</pre></td>
</tr><tr class="code-line">
<td class="line-num">141</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">142</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">143</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("class with interface and inheritance", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">144</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> class Base {</pre></td>
</tr><tr class="code-line">
<td class="line-num">145</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> base_value: Int = 10;</pre></td>
</tr><tr class="code-line">
<td class="line-num">146</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">147</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">148</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> interface Incrementable {</pre></td>
</tr><tr class="code-line">
<td class="line-num">149</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> fn increment();</pre></td>
</tr><tr class="code-line">
<td class="line-num">150</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">151</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">152</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> class Derived extends Base implements Incrementable {</pre></td>
</tr><tr class="code-line">
<td class="line-num">153</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> fn increment() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">154</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> this.base_value = this.base_value + 1;</pre></td>
</tr><tr class="code-line">
<td class="line-num">155</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> return this.base_value;</pre></td>
</tr><tr class="code-line">
<td class="line-num">156</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">157</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">158</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">159</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let d = new Derived();</pre></td>
</tr><tr class="code-line">
<td class="line-num">160</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(d.base_value, 10);</pre></td>
</tr><tr class="code-line">
<td class="line-num">161</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(d.increment(), 11);</pre></td>
</tr><tr class="code-line">
<td class="line-num">162</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(d.increment(), 12);</pre></td>
</tr><tr class="code-line">
<td class="line-num">163</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">164</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">165</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> test("implementation order does not matter", fn() {</pre></td>
</tr><tr class="code-line">
<td class="line-num">166</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> interface A {</pre></td>
</tr><tr class="code-line">
<td class="line-num">167</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> fn method_a();</pre></td>
</tr><tr class="code-line">
<td class="line-num">168</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">169</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">170</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> interface B {</pre></td>
</tr><tr class="code-line">
<td class="line-num">171</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> fn method_b();</pre></td>
</tr><tr class="code-line">
<td class="line-num">172</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">173</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">174</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> class AB implements A, B {</pre></td>
</tr><tr class="code-line">
<td class="line-num">175</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> fn method_a() { return "A"; }</pre></td>
</tr><tr class="code-line">
<td class="line-num">176</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> fn method_b() { return "B"; }</pre></td>
</tr><tr class="code-line">
<td class="line-num">177</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> }</pre></td>
</tr><tr class="code-line">
<td class="line-num">178</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line">
<td class="line-num">179</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> let ab = new AB();</pre></td>
</tr><tr class="code-line">
<td class="line-num">180</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(ab.method_a(), "A");</pre></td>
</tr><tr class="code-line">
<td class="line-num">181</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> assert_eq(ab.method_b(), "B");</pre></td>
</tr><tr class="code-line">
<td class="line-num">182</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> });</pre></td>
</tr><tr class="code-line">
<td class="line-num">183</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>});</pre></td>
</tr>
</tbody>
</table>
</section>
</div>
</body>
</html>