Merge pull request #3940 from JacquesCarette/SetTests

Added basic set tests to `HelloWorld.hs`
JacquesCarette · Sep 19, 2024 · 9fbbbaa · 9fbbbaa
2 parents 4482cb0 + 66db7a7
commit 9fbbbaa
Show file tree

Hide file tree

Showing 7 changed files with 20 additions and 2 deletions.
diff --git a/code/drasil-code/test/HelloWorld.hs b/code/drasil-code/test/HelloWorld.hs
@@ -10,7 +10,7 @@ import Drasil.GOOL (MSBody, MSBlock, MSStatement, SMethod, SVariable,
  ControlStatement(..), VariableSym(var, constant), ScopeSym(..), Literal(..),
  VariableValue(..), CommandLineArgs(..), NumericExpression(..),
  BooleanExpression(..), Comparison(..), ValueExpression(..), extFuncApp,
- List(..), MethodSym(..), OODeclStatement(objDecDef))
+ List(..), MethodSym(..), OODeclStatement(objDecDef), Set(..))
 import qualified Drasil.GOOL as OO (GSProgram, ProgramSym(..), FileSym(..),
  ModuleSym(..))
 import Drasil.GProc (ProcProg)
@@ -88,7 +88,10 @@ helloInitVariables = block [comment "Initializing variables",
  printLn (valueOf $ var "boringList" (listType bool)),
  assert (valueOf (var "b" int) ?== litInt 5) (litString "b should be 5"),
  assert (listSize (valueOf myOtherList) ?== litInt 4) (litString "myOtherList should have 4 elements"),
- assert (valueOf (var "oneIndex" int) ?== litInt 0) (litString "oneIndex should be 0")]
+ assert (valueOf (var "oneIndex" int) ?== litInt 0) (litString "oneIndex should be 0"),
+ setDecDef (var "s" (setType int)) mainFn (litSet int [litInt 4, litInt 7, litInt 5]),
+ assert (contains (valueOf (var "s" (setType int))) (litInt 7))
+ (litString "Set s should contain 7")]
 
 mySlicedList, mySlicedList2, mySlicedList3, mySlicedList4, mySlicedList5,
  mySlicedList6, mySlicedList7, mySlicedList8, mySlicedList9, 

diff --git a/code/stable/gooltest/cpp/HelloWorld/HelloWorld.cpp b/code/stable/gooltest/cpp/HelloWorld/HelloWorld.cpp
diff --git a/code/stable/gooltest/csharp/HelloWorld/HelloWorld.cs b/code/stable/gooltest/csharp/HelloWorld/HelloWorld.cs
diff --git a/code/stable/gooltest/java/HelloWorld/HelloWorld/HelloWorld.java b/code/stable/gooltest/java/HelloWorld/HelloWorld/HelloWorld.java
diff --git a/code/stable/gooltest/julia/HelloWorld/HelloWorld.jl b/code/stable/gooltest/julia/HelloWorld/HelloWorld.jl
diff --git a/code/stable/gooltest/python/HelloWorld/HelloWorld.py b/code/stable/gooltest/python/HelloWorld/HelloWorld.py
diff --git a/code/stable/gooltest/swift/HelloWorld/main.swift b/code/stable/gooltest/swift/HelloWorld/main.swift