reflekt 0.7.2 → 0.9.5

data/lib/Renderer.rb

@@ -0,0 +1,38 @@
+class Renderer
+
+  def initialize(path, output_path)
+    @path = path
+    @output_path = output_path
+  end
+
+  ##
+  # Render results.
+  ##
+  def render()
+
+    # Get JSON.
+    json = File.read("#{@output_path}/db.json")
+
+    # Save HTML.
+    template = File.read("#{@path}/web/template.html.erb")
+    rendered = ERB.new(template).result(binding)
+    File.open("#{@output_path}/index.html", 'w+') do |f|
+      f.write rendered
+    end
+
+    # Add JS.
+    javascript = File.read("#{@path}/web/script.js")
+    File.open("#{@output_path}/script.js", 'w+') do |f|
+      f.write javascript
+    end
+
+    # Add CSS.
+    stylesheet = File.read("#{@path}/web/style.css")
+    File.open("#{@output_path}/style.css", 'w+') do |f|
+      f.write stylesheet
+    end
+
+  end
+
+
+end

data/lib/Rule.rb

@@ -0,0 +1,32 @@
+################################################################################
+# RULES
+#
+# Abstract class.
+# See lib/rules for rules.
+################################################################################
+
+require 'set'
+
+class Rule
+
+  # Each rule intitalises itself.
+  def initialize()
+    @values = nil
+  end
+
+  # Each rule loads up an array of values.
+  def load(value)
+    @values << value
+  end
+
+  # Each rule trains on values to determine its patterns.
+  def train()
+
+  end
+
+  # Each rule compares the data it has with the data it's given.
+  def validate()
+
+  end
+
+end

data/lib/RulePool.rb

@@ -0,0 +1,44 @@
+################################################################################
+# RULE POOL
+#
+# A collection of rules generated for an argument.
+# Duplicates will not be added to the sets.
+################################################################################
+
+require 'set'
+require 'Rule'
+
+class RulePool
+
+  attr_accessor :types
+  attr_accessor :rules
+
+  def initialize()
+
+    @types = Set.new
+    @rules = {}
+
+  end
+
+  def train()
+
+    rules.each do |rule|
+      rule.train()
+    end
+
+  end
+
+  def validate(value)
+    result = true
+
+    rules.each do |rule|
+      result = rule.validate(value)
+      if result == false
+        result = false
+      end
+    end
+
+    return result
+  end
+
+end

data/lib/Ruler.rb

@@ -0,0 +1,124 @@
+################################################################################
+# RULER
+#
+# Aggregate a method's inputs and output into a series of generic rules.
+################################################################################
+
+require 'RulePool'
+
+class Ruler
+
+  INPUT  = "i"
+  OUTPUT = "o"
+  TYPE   = "T"
+  VALUE  = "V"
+
+  def initialize()
+
+    # Reflections.
+    @controls = nil
+    # Arguments.
+    @inputs = []
+    @output = nil
+
+  end
+
+  def load(controls)
+
+    @controls = controls
+    @controls.each_with_index do |control, index|
+
+      # Create rules for each input.
+      control[INPUT].each_with_index do |input, index|
+        unless input.nil?
+          @inputs[index] = load_rule_pool(@inputs[index], input[TYPE], input[VALUE])
+        end
+      end
+
+      # Create rules for the output.
+      output = control[OUTPUT]
+      unless control[OUTPUT].nil?
+        @output = load_rule_pool(@output, output[TYPE], output[VALUE])
+      end
+
+    end
+
+  end
+
+  def load_rule_pool(rule_pool, type, value)
+
+    if rule_pool.nil?
+      rule_pool = RulePool.new()
+    end
+
+    # Track data type.
+    rule_pool.types << type
+
+    # Get rule for this data type.
+    rule = nil
+
+    case type
+    when "Integer"
+      unless rule_pool.rules.key? IntegerRule
+        rule = IntegerRule.new()
+        rule_pool.rules << rule
+      else
+        rule = rule_pool.rules[IntegerRule]
+      end
+    when "String"
+      unless rule_pool.rules.key? StringRule
+        rule = StringRule.new()
+        rule_pool.rules << rule
+      else
+        rule = rule_pool.rules[IntegerRule]
+      end
+    end
+
+    # Add value to rule.
+    unless rule.nil?
+      rule.load(value)
+    end
+
+    return rule_pool
+
+  end
+
+  def train()
+
+    @inputs.each do |rule_pool|
+      unless rule_pool.nil?
+        rule_pool.train()
+      end
+    end
+
+    unless @output.nil?
+      @output.train()
+    end
+
+  end
+
+  def validate_inputs(inputs)
+    result = true
+
+    inputs.each_with_index do |value, index|
+      rule_pool = @inputs[index]
+      unless rule_pool.validate(input)
+        result = false
+      end
+    end
+
+    return result
+  end
+
+  def validate_output(output)
+    result = true
+
+    rule_pool = @output
+    unless rule_pool.validate(output)
+      result = false
+    end
+
+    return result
+  end
+
+end

data/lib/ShadowStack.rb

@@ -0,0 +1,56 @@
+################################################################################
+# SHADOW STACK
+#
+# Track the executions in a call stack.
+################################################################################
+
+class ShadowStack
+
+  def initialize()
+    @bottom = nil
+    @top = nil
+  end
+
+  def peek()
+    @top
+  end
+
+  def base()
+    @bottom
+  end
+
+  ##
+  # Push Execution.
+  #
+  # @param object - The object being executed.
+  # @param args - The arguments being executed.
+  #
+  # @return Execution - The new execution.
+  ##
+  def push(execution)
+
+    # Reference previous execution.
+    if @bottom.nil?
+      @bottom = execution
+    else
+      execution.child = @top
+      @top.parent = execution
+    end
+
+    # Place new execution at the top of the stack.
+    @top = execution
+
+  end
+
+  def display
+    display_execution_tree(@bottom)
+  end
+
+  def display_execution_tree(execution)
+    p execution
+    unless execution.parent == nil
+      display_execution_tree(execution.parent)
+    end
+  end
+
+end

data/lib/rules/FloatRule.rb

@@ -0,0 +1,24 @@
+class FloatRule < Rule
+
+  attr_accessor :min
+  attr_accessor :max
+
+  def initialize()
+    @min = nil
+    @max = nil
+  end
+
+  def load(value)
+    @values << value
+  end
+
+  def train()
+    # TODO.
+  end
+
+  def validate()
+    # TODO.
+    true
+  end
+
+end

data/lib/rules/IntegerRule.rb

@@ -0,0 +1,27 @@
+class IntegerRule < Rule
+
+  attr_accessor :min
+  attr_accessor :max
+
+  def initialize()
+    @min = nil
+    @max = nil
+  end
+
+  def load(value)
+    @values << value
+  end
+
+  def train()
+    numbers = @values.select {|num| num.class == Integer }
+    numbers.sort!
+    @min = numbers.first
+    @max = numbers.last
+  end
+
+  def validate()
+    return false if value < rule.min
+    return false if value > rule.max
+  end
+
+end

data/lib/rules/StringRule.rb

@@ -0,0 +1,24 @@
+class StringRule < Rule
+
+  attr_accessor :min_length
+  attr_accessor :max_length
+
+  def initialize()
+    @min_length = nil
+    @max_length = nil
+  end
+
+  def load(value)
+    @values << value
+  end
+
+  def train()
+    # TODO.
+  end
+
+  def validate()
+    # TODO.
+    true
+  end
+
+end

data/lib/web/style.css

@@ -22,6 +22,7 @@ body {
 /* Structure */
 ul.classes,
 ul.methods,
+ul.controls,
 ul.reflections {
   padding-left: 0;
 }
@@ -49,8 +50,17 @@ li.method-container {
   background: #D04700;
 }
 
+/* Buttons. */
+.method .buttons {
+  margin-left: auto;
+  margin-right: 1rem;
+}
+.buttons button {
+  padding: 1rem 2rem;
+}
+
 /* Stats. */
-.stats {
+.class .stats {
   margin-left: auto;
 }
 .stat {
@@ -85,6 +95,7 @@ li.method-container {
 }
 
 /* Reflection. */
+.control,
 .reflection {
   list-style: none;
   margin-left: 2rem;
@@ -95,6 +106,7 @@ li.method-container {
   padding: 0.5rem 1.5rem;
   margin-bottom: 0.3rem;
 }
+.control .time,
 .reflection .time {
   color: #777777;
   margin-right: 2rem;

data/lib/web/template.html.erb

@@ -32,17 +32,18 @@
 
       function getData() {
 
-        var reflections = JSON.parse(<%= @@reflekt_json %>);
-        console.log("REFLECTIONS:");
-        console.log(reflections);
+        var data = JSON.parse(<%= json %>);
         var results = {};
 
-        if ('reflekt' in reflections) {
-          delete(reflections.reflekt);
+        console.log("DATA:");
+        console.log(data);
+
+        if ('reflekt' in data) {
+          delete(data.reflekt);
         }
 
         // Classes.
-        for ([class_id, class_value] of Object.entries(reflections)) {
+        for ([class_id, class_value] of Object.entries(data)) {
 
           // Class pass rate.
           results[class_id] = {
@@ -57,17 +58,17 @@
           // Methods.
           for ([method_id, method] of Object.entries(class_value)) {
 
-            // Method pass rate.
-            var pass_count = method.reduce(function(obj, v) {
+            // Reflection pass rate.
+            var pass_count = method.reflections.reduce(function(obj, v) {
               obj[v[STATUS]] = (obj[v[STATUS]] || 0) + 1;
               return obj;
             }, {});
 
-            var pass_rate = (pass_count[PASS] / method.length) * 100;
+            var pass_rate = (pass_count[PASS] / method.reflections.length) * 100;
             results[class_id]['methods'][method_id] = {
               'stats': {
                 'pass_rate': pass_rate,
-                'test_count': method.length,
+                'test_count': method.reflections.length,
                 'pass_count': pass_count[PASS]
               }
             };
@@ -79,7 +80,7 @@
             }
 
             // Class pass rate.
-            results[class_id]['stats']['test_count'] += method.length;
+            results[class_id]['stats']['test_count'] += method.reflections.length;
             results[class_id]['stats']['pass_count'] += pass_count[PASS];
 
           }
@@ -97,7 +98,7 @@
         }
 
         return {
-          reflections: reflections,
+          data: data,
           results: results
         };
       }
@@ -134,15 +135,19 @@
               <template x-for="[method_id, method] in Object.entries(klass['methods'])" :key="method_id">
                 <li class="method-container">
 
-                  <div class="status-row method" x-bind:class="`${method.status}`" @click="method['show'] = !method['show']" :aria-expanded="method['show'] ? 'true' : 'false'" :class="{ 'active': method['show'] }">
+                  <div class="status-row method" x-bind:class="`${method.status}`" :class="{ 'active': method['show_reflections'] }" :class="{ 'active': method['show_controls'] }">
                     <h3 x-text="`${method_id}()`"></h3>
+                    <div class="buttons">
+                      <button @click="method['show_controls'] = !method['show_controls']">Controls</button>
+                      <button @click="method['show_reflections'] = !method['show_reflections']">Reflections</button>
+                    </div>
                     <div class="stats">
                       <div class="stat" x-text="`${method.stats.pass_rate.toFixed(2)}%`"></div>
                     </div>
                   </div>
 
-                  <ul class="reflections" x-show="method['show']">
-                    <template x-for="[reflection_id, reflection] in Object.entries(reflections[class_id][method_id])">
+                  <ul class="reflections" x-show="method['show_reflections']">
+                    <template x-for="[reflection_id, reflection] in Object.entries(data[class_id][method_id].reflections)">
 
                       <li class="reflection">
 
@@ -192,6 +197,57 @@
                     </template>
                   </ul>
 
+                  <ul class="controls" x-show="method['show_controls']">
+                    <template x-for="[control_id, control] in Object.entries(data[class_id][method_id].controls)">
+
+                      <li class="control">
+
+                        <div class="time" x-text="`${new Date(control.t * 1000).getFullYear()}/${new Date(control.t * 1000).getMonth() + 1}/${new Date(control.t * 1000).getDate()} ${new Date(control.t * 1000).getHours()}:${new Date(control.t * 1000).getMinutes()}:${new Date(control.t * 1000).getSeconds()}`"></div>
+
+                        <template x-for="[input_id, input] in Object.entries(control.i)">
+
+                          <div class="info">
+                            <h4>Input</h4>
+                            <div class="info-items">
+                              <div class="info-item">
+                                <strong>Type:</strong><div class="input" x-text="input.T"></div>
+                              </div>
+                              <template x-if="input.V != undefined">
+                                <div class="info-item">
+                                  <strong>Value:</strong><pre><div class="output" x-text="input.V"></div></pre>
+                                </div>
+                              </template>
+                              <template x-if="input.C != undefined">
+                                <div class="info-item">
+                                  <strong>Count:</strong><div class="input" x-text="input.C"></div>
+                                </div>
+                              </template>
+                            </div>
+                          </div>
+
+                        </template>
+
+                        <div class="info">
+                          <h4>Output</h4>
+                          <div class="info-items">
+                            <div class="info-item">
+                              <strong>Type:</strong><div class="output" x-text="control.o.T"></div>
+                            </div>
+                            <template x-if="control.o.C != undefined">
+                              <div class="info-item">
+                                <strong>Count:</strong><div class="output" x-text="control.o.C"></div>
+                              </div>
+                            </template>
+                            <div class="info-item">
+                              <strong>Value:</strong><pre><div class="output" x-text="control.o.V"></div></pre>
+                            </div>
+                          </div>
+                        </div>
+                      </li>
+
+                    </template>
+                  </ul>
+
                 </li>
               </template>
             </ul>