Merge pull request #94 from CSchank/dev

Dev

Author: CSchank

.travis.yml

@@ -1,4 +1,9 @@
 language: elm
+
+install:
+  - npm install -g elm@0.19.1-3
+  - npm install -g elm-test@0.19.1
+  - npm install -g elm-format@0.8.2
 env:
   global:
   - secure: C9poA+wbk5f2SMct/hZe2GDGRvGofIwoGJyvWQOkSVfV016YrtDMmOrrYXjx5qBmY3mO7dejG/D7yZHUKHqQO6QmAOMyrP1Efj1xqAZwOUH8z0I82mb7xjfd0pSrT/HHxd030orVRxqfOTXawvkRHcQ9/H3oREiHgV+IccFRVpTVf8avYREV7cds7p62VNj/3uK1De/etdnDxWFWEQldkdlE1dNE/KMX6SsJGs0JMMC8ubyG5sVIaBs9XPo6DPs9jphioyCmZbVzqms8F0Wirzn4OYbLIXMkV73OywCQmRBo41i/SOHIfACfKBzTnleQ8RwuCxMr9PxGD0s8+W8r1tsWYsr5nqxj8YtW2U9BI8a2P3yYyfw95jh2xrKYiJGHvVZaE0crB8xK9V7UurvrBZs1W402mKCmw0RCqc5HGyCwT4croJb6cj6IdVLurBbomcR3iUL8JuFPPihJdCVjJddO9hEnqcwr2MzcLNXR2MXIlSGX5WPAB+D7WYsfMfJwTdO2LvvToXPUc4dujnodWKjpk/PDAiOJNSEOdyTXOP/bQn7+9B9kwngfqTXdSM/EngabpdZhjRDSLqtkxzR6/3AMWvg/X0jKPds7Z1xn8cDcshOhFuHrKD6BacbkGuN7WHtemm+JCowSn70Yl/6xIWA1bpa6suFLzbCpvKXlHgk=

elm.json

@@ -3,24 +3,27 @@
     "source-directories": [
         "src"
     ],
-    "elm-version": "0.19.0",
+    "elm-version": "0.19.1",
     "dependencies": {
         "direct": {
             "MacCASOutreach/graphicsvg": "5.1.0",
-            "billstclair/elm-sha256": "1.0.8",
+            "billstclair/elm-sha256": "1.0.9",
             "elm/browser": "1.0.1",
             "elm/core": "1.0.2",
             "elm/html": "1.0.0",
             "elm/http": "1.0.0",
             "elm/json": "1.1.2",
             "elm/random": "1.0.0",
+            "elm/svg": "1.0.1",
             "elm/time": "1.0.0",
             "elm/url": "1.0.0",
-            "elm-community/undo-redo": "3.0.0"
+            "elm-community/undo-redo": "3.0.0",
+            "ianmackenzie/elm-units": "2.2.0",
+            "rundis/elm-bootstrap": "5.2.0"
         },
         "indirect": {
+            "avh4/elm-color": "1.0.0",
             "elm/regex": "1.0.0",
-            "elm/svg": "1.0.1",
             "elm/virtual-dom": "1.0.2",
             "elm-community/list-extra": "8.1.0"
         }
@@ -31,4 +34,4 @@
         },
         "indirect": {}
     }
-}
+}

src/ApplicationModel.elm

@@ -0,0 +1,21 @@
+module ApplicationModel exposing (..)
+
+import Building
+import Exporting
+import SharedModel exposing (SharedModel)
+import Simulating
+
+
+type ApplicationState
+    = Building Building.Model
+    | Simulating Simulating.Model
+    | Exporting Exporting.Model
+
+
+type alias ApplicationModel =
+    { appState : ApplicationState
+    , simulatingData : Simulating.PersistentModel
+    , buildingData : Building.PersistentModel
+    , exportingData : Exporting.PersistentModel
+    , sharedModel : SharedModel
+    }

src/Building.elm

@@ -1,13 +1,13 @@
 module Building exposing (Model, Msg(..), PersistentModel(..), editingButtons, init, initPModel, onEnter, onExit, subscriptions, update, updateArrowPos, updateStatePos, view)
 
 import Browser.Events
-import Debug
 import Dict exposing (Dict)
 import Environment exposing (Environment)
 import GraphicSVG exposing (..)
 import Helpers exposing (..)
 import Json.Decode as D
 import Machine exposing (..)
+import Mistakes exposing (..)
 import Set
 import SharedModel exposing (SharedModel)
 import Task
@@ -148,34 +148,6 @@ update env msg ( model, pModel, sModel ) =
                                 isValidTransition =
                                     checkTransitionValid newTrans
 
-                                oldTransitionMistakes =
-                                    oldMachine.transitionMistakes
-
-                                newTransitionMistakes =
-                                    if isValidTransition then
-                                        case oldTransitionMistakes of
-                                            Just setOfMistakes ->
-                                                let
-                                                    newSetOfMistakes =
-                                                        Set.remove newTransID setOfMistakes
-                                                in
-                                                if Set.isEmpty newSetOfMistakes then
-                                                    Nothing
-
-                                                else
-                                                    Just newSetOfMistakes
-
-                                            Nothing ->
-                                                Nothing
-
-                                    else
-                                        case oldTransitionMistakes of
-                                            Just setOfMistakes ->
-                                                Just <| Set.insert newTransID setOfMistakes
-
-                                            Nothing ->
-                                                Just <| Set.singleton newTransID
-
                                 newDelta : Delta
                                 newDelta =
                                     Dict.update st
@@ -209,7 +181,6 @@ update env msg ( model, pModel, sModel ) =
                                             | delta = newDelta
                                             , transitionNames = Dict.insert newTransID newTrans oldMachine.transitionNames
                                             , stateTransitions = Dict.insert ( st, newTransID, s1 ) newTransPos oldMachine.stateTransitions
-                                            , transitionMistakes = newTransitionMistakes
                                         }
                                 }
                               )
@@ -489,15 +460,11 @@ update env msg ( model, pModel, sModel ) =
                                     , stateTransitions = newStateTransitions
                                     , stateNames = Dict.remove stId oldMachine.stateNames
                                     , transitionNames = Dict.diff oldMachine.transitionNames removedTransitions
-                                    , transitionMistakes = newTMistakes
                                 }
 
                             newStateTransitions =
                                 Dict.filter (\( _, t, _ ) _ -> not <| Dict.member t removedTransitions) oldMachine.stateTransitions
 
-                            newTMistakes =
-                                List.foldr (\tId mistakes -> tMistakeRemove (first tId) mistakes) oldMachine.transitionMistakes removedTransitionsLst
-
                             removedTransitionsLst =
                                 List.map (\( _, t, _ ) -> ( t, () )) <| Dict.keys <| Dict.filter (\( s0, _, s1 ) _ -> s0 == stId || s1 == stId) oldMachine.stateTransitions
 
@@ -516,14 +483,10 @@ update env msg ( model, pModel, sModel ) =
                                     | delta = newDelta
                                     , stateTransitions = newStateTransitions
                                     , transitionNames = Dict.remove tId oldMachine.transitionNames
-                                    , transitionMistakes = newTMistakes
                                 }
 
                             newStateTransitions =
                                 Dict.filter (\( _, tId0, _ ) _ -> tId /= tId0) oldMachine.stateTransitions
-
-                            newTMistakes =
-                                tMistakeRemove tId oldMachine.transitionMistakes
                         in
                         ( ( { model | machineState = Regular }, pModel, { sModel | machine = newMachine } ), True, Cmd.none )
 
@@ -572,20 +535,9 @@ update env msg ( model, pModel, sModel ) =
                 isValidTransition =
                     checkTransitionValid newTransitions
 
-                oldTransitionMistakes =
-                    oldMachine.transitionMistakes
-
-                newTransitionMistakes =
-                    if isValidTransition then
-                        tMistakeRemove tId oldTransitionMistakes
-
-                    else
-                        tMistakeAdd tId oldTransitionMistakes
-
                 newMachine =
                     { oldMachine
                         | transitionNames = Dict.insert tId newTransitions oldMachine.transitionNames
-                        , transitionMistakes = newTransitionMistakes
                     }
             in
             ( ( { model | machineState = Regular }, pModel, { sModel | machine = newMachine } ), True, Cmd.none )
@@ -635,6 +587,9 @@ view env ( model, pModel, sModel ) =
 
         winY =
             toFloat <| second env.windowSize
+
+        transMistakes =
+            getTransitionMistakes sModel.machine
     in
     group
         [ rect winX winY
@@ -669,7 +624,7 @@ view env ( model, pModel, sModel ) =
 
             _ ->
                 group []
-        , GraphicSVG.map MachineMsg <| Machine.view env model.machineState sModel.machine Set.empty
+        , GraphicSVG.map MachineMsg <| Machine.view env model.machineState sModel.machine Set.empty transMistakes
         , editingButtons model |> move ( winX / 2 - 30, -winY / 2 + 25 )
         ]
 
@@ -766,17 +721,3 @@ snapIcon =
             ]
             |> move ( 5, -10 )
         ]
-
-
-checkTransitionValid : Set.Set String -> Bool
-checkTransitionValid set =
-    case Set.member "\\epsilon" set of
-        False ->
-            True
-
-        True ->
-            if Set.size set == 1 then
-                True
-
-            else
-                False

src/Environment.elm

@@ -1,12 +1,16 @@
 module Environment exposing (Environment, init)
 
+import Time
+
 
 init : Environment
 init =
     { windowSize = ( 0, 0 )
     , holdingShift = False
     , holdingControl = False
     , holdingMeta = False
+    , currentTime = Time.millisToPosix 1576798602274
+    , timeZone = Time.utc
     }
 
 
@@ -15,4 +19,6 @@ type alias Environment =
     , holdingShift : Bool
     , holdingControl : Bool
     , holdingMeta : Bool
+    , currentTime : Time.Posix
+    , timeZone : Time.Zone
     }

src/Error.elm

@@ -9,6 +9,7 @@ import Environment exposing (Environment)
 import GraphicSVG exposing (..)
 import Helpers exposing (..)
 import Machine exposing (Machine, StateID, TransitionID)
+import Mistakes exposing (..)
 import Set exposing (Set)
 import SharedModel exposing (..)
 import Tuple exposing (first, second)
@@ -57,7 +58,7 @@ machineCheck sModel =
             sModel.machine
 
         tMistakes =
-            sModel.machine.transitionMistakes
+            getTransitionMistakes mac
 
         allTransitionLabels =
             List.sort <| Set.toList <| Set.remove "\\epsilon" <| List.foldr Set.union Set.empty <| Dict.values mac.transitionNames

src/Exporting.elm

@@ -11,6 +11,7 @@ import Html as H
 import Html.Attributes as A
 import Json.Decode as D
 import Machine exposing (..)
+import Mistakes exposing (..)
 import Set exposing (Set)
 import Sha256 exposing (sha256)
 import SharedModel exposing (..)
@@ -122,6 +123,9 @@ view env ( model, pModel, sModel ) =
         hasErr =
             contextHasError errCheck sModel.machineType
 
+        transMistakes =
+            getTransitionMistakes oldMachine
+
         -- TODO: Adjust popup box size to fix custom error messages
         errHover =
             group
@@ -137,7 +141,7 @@ view env ( model, pModel, sModel ) =
                 |> move ( winX / 6 - 100, -105 )
     in
     group
-        [ (GraphicSVG.map MachineMsg <| Machine.view env Regular sModel.machine sModel.machine.start) |> move ( -winX / 6, 0 )
+        [ (GraphicSVG.map MachineMsg <| Machine.view env Regular sModel.machine sModel.machine.start transMistakes) |> move ( -winX / 6, 0 )
         , machineSelected sModel.machineType winX winY
         , text "Choose format:"
             |> size 20

src/Helpers.elm

@@ -96,6 +96,19 @@ type LatexAlign
 
 
 latex w h backclr txt align =
+    --image (latexurl txt)
+    --    |> move
+    --                ( case align of
+    --                    AlignLeft ->
+    --                        0
+    --
+    --                    AlignRight ->
+    --                        -w
+    --
+    --                    AlignCentre ->
+    --                        -w / 2
+    --                , 0
+    --                )
     (html w h <|
         H.div
             [ style "width" "100%"