├── .gitignore
├── LICENSE
├── README.md
├── build.sbt
├── design
    ├── datamodel.pdf
    └── db-layout.pdf
├── formatterPreferences.properties
├── project
    ├── build.properties
    └── plugins.sbt
├── sbt
├── sbt-launch-0.12.1.jar
├── sbt-launch.jar
├── sbt.bat
└── src
    ├── main
        ├── resources
        │   ├── .keep
        │   ├── logback.xml
        │   └── props
        │   │   ├── default.props.template
        │   │   ├── production.default.props.template
        │   │   └── test.default.props
        ├── scala
        │   ├── bootstrap
        │   │   └── liftweb
        │   │   │   └── Boot.scala
        │   └── com
        │   │   └── automatatutor
        │   │       ├── BuchiGame.scala
        │   │       ├── lib
        │   │           ├── Binder.scala
        │   │           ├── Config.scala
        │   │           ├── DownloadHelper.scala
        │   │           ├── SOAPConnection.scala
        │   │           ├── TableHelper.scala
        │   │           └── TemplateLoader.scala
        │   │       ├── model
        │   │           ├── .keep
        │   │           ├── Attendance.scala
        │   │           ├── Course.scala
        │   │           ├── DFAConstructionProblem.scala
        │   │           ├── NFAConstructionProblem.scala
        │   │           ├── NFAToDFAProblem.scala
        │   │           ├── PosedProblem.scala
        │   │           ├── PosedProblemSet.scala
        │   │           ├── Problem.scala
        │   │           ├── ProblemSet.scala
        │   │           ├── PumpingLemmaProblem.scala
        │   │           ├── RegExConstructionProblem.scala
        │   │           ├── Role.scala
        │   │           ├── SolutionAttempt.scala
        │   │           └── User.scala
        │   │       ├── renderer
        │   │           ├── CourseRenderer.scala
        │   │           ├── ProblemRenderer.scala
        │   │           ├── ProblemSetRenderer.scala
        │   │           └── UserRenderer.scala
        │   │       └── snippet
        │   │           ├── Courses.scala
        │   │           ├── Courses.scala~
        │   │           ├── DFAProblemSnippet.scala
        │   │           ├── Identity.scala
        │   │           ├── NFAProblemSnippet.scala
        │   │           ├── NFAToDFAProblemSnippet.scala
        │   │           ├── PracticeSets.scala
        │   │           ├── ProblemSets.scala
        │   │           ├── ProblemSnippet.scala
        │   │           ├── PumpingLemmaProblemSnippet.scala
        │   │           ├── RegExProblemSnippet.scala
        │   │           └── Users.scala
        └── webapp
        │   ├── WEB-INF
        │       └── web.xml
        │   ├── about
        │       ├── index.html
        │       ├── privacy-statement.html
        │       └── terms-of-service.html
        │   ├── applets
        │       └── buchi-game.html
        │   ├── buchi-solving
        │       ├── applet.html
        │       └── create.html
        │   ├── courses
        │       ├── chooseproblemset.html
        │       ├── create.html
        │       ├── index.html
        │       ├── manage.html
        │       ├── poseproblemset.html
        │       ├── show.html
        │       ├── solveproblem.html
        │       └── solveproblemset.html
        │   ├── description-to-nfa-problem
        │       ├── applet.html
        │       ├── create.html
        │       ├── edit.html
        │       └── solve.html
        │   ├── description-to-regex-problem
        │       ├── create.html
        │       ├── edit.html
        │       └── solve.html
        │   ├── dfa-construction
        │       ├── applet.html
        │       ├── create.html
        │       ├── edit.html
        │       └── solve.html
        │   ├── images
        │       ├── ajax-loader.gif
        │       └── trash_bin.png
        │   ├── index.html
        │   ├── index.html~
        │   ├── javascript
        │       ├── README.md
        │       ├── alphabetUtil.js
        │       ├── includeBuchiGame.js
        │       ├── includeDFA.js
        │       ├── includeDFANFA.js
        │       ├── includeNFA.js
        │       ├── includePL.js
        │       ├── interface.js
        │       ├── lib
        │       │   ├── browser.js
        │       │   ├── contextmenu.js
        │       │   ├── d3.min.js
        │       │   ├── jquery-2.1.1.min.js
        │       │   ├── jquery-ui-timepicker-addon.js
        │       │   ├── jquery-ui.js
        │       │   └── jquery.contextmenu.js
        │       └── pumpinglemma.js
        │   ├── nfa-to-dfa-problem
        │       ├── applet-nfa.html
        │       ├── applet-nfa.html~
        │       ├── applet.html
        │       ├── applet.html~
        │       ├── create.html
        │       ├── create.html~
        │       ├── edit.html
        │       ├── solve.html
        │       └── solve.html~
        │   ├── practicesets
        │       ├── index.html
        │       └── solve.html
        │   ├── preview
        │       ├── index.html
        │       └── solve.html
        │   ├── problems
        │       ├── create.html
        │       ├── edit.html
        │       ├── index.html
        │       └── solve.html
        │   ├── problemsets
        │       ├── addproblem.html
        │       ├── create.html
        │       ├── edit.html
        │       ├── index.html
        │       └── poseproblem.html
        │   ├── pumping-lemma-problem
        │       ├── create.html
        │       └── solve.html
        │   ├── static
        │       └── index.html
        │   ├── stylesheets
        │       ├── images
        │       │   ├── ui-bg_diagonals-thick_18_b81900_40x40.png
        │       │   ├── ui-bg_diagonals-thick_20_666666_40x40.png
        │       │   ├── ui-bg_flat_10_000000_40x100.png
        │       │   ├── ui-bg_glass_100_f6f6f6_1x400.png
        │       │   ├── ui-bg_glass_100_fdf5ce_1x400.png
        │       │   ├── ui-bg_glass_65_ffffff_1x400.png
        │       │   ├── ui-bg_highlight-soft_100_eeeeee_1x100.png
        │       │   ├── ui-bg_highlight-soft_75_cccccc_1x100.png
        │       │   ├── ui-bg_highlight-soft_75_ffe45c_1x100.png
        │       │   ├── ui-icons_222222_256x240.png
        │       │   ├── ui-icons_228ef1_256x240.png
        │       │   ├── ui-icons_454545_256x240.png
        │       │   ├── ui-icons_ef8c08_256x240.png
        │       │   ├── ui-icons_ffd27a_256x240.png
        │       │   └── ui-icons_ffffff_256x240.png
        │       ├── interface.css
        │       ├── jquery-ui.css
        │       ├── proto2.css
        │       └── pumpinglemma.css
        │   ├── templates-hidden
        │       ├── default.html
        │       └── wizard-all.html
        │   └── users
        │       ├── edit.html
        │       └── index.html
    └── test
        ├── resources
            ├── .keep
            └── logback-test.xml
        └── scala
            └── com
                └── automatatutor
                    ├── BootedLiftScope.scala
                    ├── lib
                        └── BinderTest.scala
                    ├── model
                        ├── CourseAttendanceTest.scala
                        └── UserValidationTest.scala
                    ├── renderer
                        └── UserRendererTest.scala
                    └── snippet
                        └── UsersTest.scala


/.gitignore:
--------------------------------------------------------------------------------
 1 | .cache-main
 2 | .cache-tests
 3 | .classpath
 4 | .project
 5 | .settings/
 6 | console.devmode.log
 7 | develop.db.mv.db
 8 | project/project/
 9 | project/target/
10 | target/
11 | src/main/resources/props/default.props
12 | src/main/resources/props/production.default.props
13 | 


--------------------------------------------------------------------------------
/LICENSE:
--------------------------------------------------------------------------------
 1 | The MIT License (MIT)
 2 | 
 3 | Copyright (c) 2016 Loris D'Antoni
 4 | 
 5 | Permission is hereby granted, free of charge, to any person obtaining a copy
 6 | of this software and associated documentation files (the "Software"), to deal
 7 | in the Software without restriction, including without limitation the rights
 8 | to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
 9 | copies of the Software, and to permit persons to whom the Software is
10 | furnished to do so, subject to the following conditions:
11 | 
12 | The above copyright notice and this permission notice shall be included in all
13 | copies or substantial portions of the Software.
14 | 
15 | THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 | IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17 | FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
18 | AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19 | LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
20 | OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
21 | SOFTWARE.
22 | 


--------------------------------------------------------------------------------
/build.sbt:
--------------------------------------------------------------------------------
 1 | // Taken nearly verbatim from lift_blank example from https://github.com/lift/lift_25_sbt/tarball/master
 2 | name := "AutomataTutor"
 3 | 
 4 | version := "0.0.1"
 5 | 
 6 | organization := "com.automatatutor"
 7 | 
 8 | scalaVersion := "2.10.4"
 9 | 
10 | fork in Keys.test := true
11 | 
12 | parallelExecution in Keys.test := false
13 | 
14 | seq(webSettings :_*)
15 | 
16 | unmanagedResourceDirectories in Test <+= (baseDirectory) { _ / "src/main/webapp" }
17 | 
18 | scalacOptions ++= Seq("-deprecation", "-unchecked")
19 | 
20 | libraryDependencies ++= {
21 |   Seq(
22 |     "net.liftweb"             %% "lift-webkit"            % "2.5.1"               % "compile",
23 |     "net.liftweb"             %% "lift-mapper"            % "2.5.1"               % "compile",
24 |     "net.liftweb"             %% "lift-testkit"           % "2.5.1"               % "compile",
25 |     "net.liftmodules"         %% "lift-jquery-module_2.5" % "2.4",
26 |     "org.eclipse.jetty"       % "jetty-webapp"            % "9.2.5.v20141112"     % "container,test",
27 |     "org.eclipse.jetty.orbit" % "javax.servlet"           % "3.0.0.v201112011016" % "container,test" artifacts Artifact("javax.servlet", "jar", "jar"),
28 |     "ch.qos.logback"          % "logback-classic"         % "1.1.2",
29 |     "org.specs2"              %% "specs2-core"            % "2.4.15"              % "test",
30 | 	"org.postgresql" 		  % "postgresql" 			  % "9.3-1102-jdbc41",
31 | 	"com.h2database" 	      % "h2" 					  % "1.4.182"			  % "container,test",
32 | 	"org.seleniumhq.selenium" % "selenium-java"           % "2.44.0"              % "test"
33 |   )
34 | }
35 | 


--------------------------------------------------------------------------------
/design/datamodel.pdf:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AutomataTutor/automatatutor-frontend/5d7b2f3639ec544bead7ca28995aecb87738c421/design/datamodel.pdf


--------------------------------------------------------------------------------
/design/db-layout.pdf:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AutomataTutor/automatatutor-frontend/5d7b2f3639ec544bead7ca28995aecb87738c421/design/db-layout.pdf


--------------------------------------------------------------------------------
/formatterPreferences.properties:
--------------------------------------------------------------------------------
 1 | #Scalariform formatter preferences
 2 | #Thu Jun 02 11:30:04 CEST 2016
 3 | alignParameters=true
 4 | formatXml=true
 5 | preserveDanglingCloseParenthesis=true
 6 | spaceInsideBrackets=false
 7 | indentWithTabs=false
 8 | spaceInsideParentheses=false
 9 | multilineScaladocCommentsStartOnFirstLine=false
10 | alignSingleLineCaseStatements=true
11 | compactStringConcatenation=false
12 | placeScaladocAsterisksBeneathSecondAsterisk=false
13 | indentPackageBlocks=true
14 | compactControlReadability=false
15 | spacesWithinPatternBinders=false
16 | alignSingleLineCaseStatements.maxArrowIndent=40
17 | doubleIndentClassDeclaration=false
18 | preserveSpaceBeforeArguments=false
19 | spaceBeforeColon=true
20 | rewriteArrowSymbols=false
21 | indentLocalDefs=true
22 | indentSpaces=2
23 | 


--------------------------------------------------------------------------------
/project/build.properties:
--------------------------------------------------------------------------------
1 | sbt.version=0.13.7
2 | 
3 | 


--------------------------------------------------------------------------------
/project/plugins.sbt:
--------------------------------------------------------------------------------
1 | addSbtPlugin("com.earldouglas" % "xsbt-web-plugin" % "0.9.0")
2 | 
3 | //Enable the sbt eclipse plugin
4 | addSbtPlugin("com.typesafe.sbteclipse" % "sbteclipse-plugin" % "2.5.0")
5 | 


--------------------------------------------------------------------------------
/sbt:
--------------------------------------------------------------------------------
1 | JAVA7PATH="/Library/Java/JavaVirtualMachines/jdk1.8.0_05.jdk/Contents/Home/bin/java" # Path to an installation of Java7. Later versions do not work with sbt0.12
2 | $JAVA7PATH -version
3 | $JAVA7PATH -Xmx1024M -Xss16M -XX:MaxPermSize=512m -XX:+CMSClassUnloadingEnabled -jar `dirname $0`/sbt-launch.jar "$@"
4 | 


--------------------------------------------------------------------------------
/sbt-launch-0.12.1.jar:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AutomataTutor/automatatutor-frontend/5d7b2f3639ec544bead7ca28995aecb87738c421/sbt-launch-0.12.1.jar


--------------------------------------------------------------------------------
/sbt-launch.jar:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AutomataTutor/automatatutor-frontend/5d7b2f3639ec544bead7ca28995aecb87738c421/sbt-launch.jar


--------------------------------------------------------------------------------
/sbt.bat:
--------------------------------------------------------------------------------
1 | set SCRIPT_DIR=%~dp0
2 | java -XX:+CMSClassUnloadingEnabled -XX:MaxPermSize=256m -Xmx1024M -Xss2M -jar "%SCRIPT_DIR%\sbt-launch.jar" %*
3 | 


--------------------------------------------------------------------------------
/src/main/resources/.keep:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AutomataTutor/automatatutor-frontend/5d7b2f3639ec544bead7ca28995aecb87738c421/src/main/resources/.keep


--------------------------------------------------------------------------------
/src/main/resources/logback.xml:
--------------------------------------------------------------------------------
 1 | <configuration>
 2 |     <appender name="STDOUT" class="ch.qos.logback.core.ConsoleAppender">
 3 |         <encoder class="ch.qos.logback.classic.encoder.PatternLayoutEncoder">
 4 |             <pattern>%d{HH:mm:ss.SSS} [%thread] %-5level %logger{36} - %msg%n</pattern>
 5 |         </encoder>
 6 |     </appender>
 7 |     <appender name="FILE" class="ch.qos.logback.core.FileAppender">
 8 |         <file>console.devmode.log</file>
 9 |         <append>true</append>
10 |         <encoder>
11 |             <pattern>%-4relative [%thread] %-5level %logger{35} - %msg%n</pattern>
12 |         </encoder>
13 |     </appender>
14 | 
15 | 
16 | 
17 |     <logger name="code.snippet" level="info" />
18 |     <logger name="net.liftweb" level="warn" />
19 |     <logger name="bootstrap.liftweb" level="info" />
20 |     <root level="warn">
21 |         <appender-ref ref="STDOUT" />
22 |     </root>
23 | </configuration>
24 | 


--------------------------------------------------------------------------------
/src/main/resources/props/default.props.template:
--------------------------------------------------------------------------------
 1 | db.driver=org.h2.Driver
 2 | db.url=jdbc:h2:./develop.db
 3 | grader.url=http://automatagrader.com/Service1.asmx
 4 | grader.methodnamespace=http://automatagrader.com
 5 | 
 6 | mail.transport.protocol=smtp
 7 | mail.smtp.host=email-smtp.us-west-2.amazonaws.com
 8 | mail.smtp.port=25
 9 | mail.smtp.starttls.enable=true
10 | mail.smtp.auth=true
11 | mail.user=
12 | mail.password=
13 | 
14 | layout.usersperpage = 50
15 | 


--------------------------------------------------------------------------------
/src/main/resources/props/production.default.props.template:
--------------------------------------------------------------------------------
 1 | grader.url=http://automatagrader.com/Service1.asmx
 2 | grader.methodnamespace=http://automatagrader.com
 3 | admin.email=admin@automatatutor.com
 4 | admin.password=Coshae2O
 5 | admin.firstname=Donald
 6 | admin.lastname=Knuth
 7 | db.driver=org.postgresql.Driver
 8 | db.url=jdbc:postgresql:dileepk_tutordb
 9 | db.user=
10 | db.password=
11 | 
12 | //Don’t copy these ones, they currently don’t work
13 | mail.transport.protocol=smtp
14 | mail.smtp.host=bobcat.arvixe.com
15 | mail.smtp.port=587
16 | mail.smtp.starttls.enable=true
17 | mail.smtp.auth=true
18 | mail.user=info@automatatutor.com
19 | mail.password=iwkdt336q1pz
20 | 


--------------------------------------------------------------------------------
/src/main/resources/props/test.default.props:
--------------------------------------------------------------------------------
1 | db.driver=org.h2.Driver
2 | db.url=jdbc:h2:mem:
3 | grader.url=http://127.0.0.1:53861/Service1.asmx
4 | grader.methodnamespace=http://automatagrader.com
5 | 


--------------------------------------------------------------------------------
/src/main/scala/bootstrap/liftweb/Boot.scala:
--------------------------------------------------------------------------------
  1 | package bootstrap.liftweb
  2 | 
  3 | import net.liftweb._
  4 | import util._
  5 | import Helpers._
  6 | import common._
  7 | import http._
  8 | import sitemap._
  9 | import Loc._
 10 | import net.liftmodules.JQueryModule
 11 | import net.liftweb.http.js.jquery._
 12 | import net.liftweb.db.{DB,StandardDBVendor,DefaultConnectionIdentifier}
 13 | import net.liftweb.mapper.Schemifier
 14 | import com.automatatutor.model._
 15 | import java.io.FileInputStream
 16 | import net.liftweb.util.Mailer
 17 | import javax.mail.{Authenticator,PasswordAuthentication}
 18 | import com.automatatutor.lib.Config
 19 | 
 20 | /**
 21 |  * A class that's instantiated early and run.  It allows the application
 22 |  * to modify lift's environment
 23 |  */
 24 | class Boot {
 25 |   def boot {
 26 | 
 27 |     Mailer.authenticator = Full( new Authenticator {
 28 |       override def getPasswordAuthentication =
 29 |         new PasswordAuthentication(Config.mail.user.get, Config.mail.password.get)
 30 |     } )
 31 |   
 32 |     // where to search snippet
 33 | 	LiftRules.addToPackages("com.automatatutor")
 34 | 
 35 | 	if(!DB.jndiJdbcConnAvailable_?) {
 36 | 		DB.defineConnectionManager(DefaultConnectionIdentifier, Config.db.get)
 37 | 		LiftRules.unloadHooks.append(Config.db.get.closeAllConnections_!)
 38 | 	}
 39 | 
 40 | 	Schemifier.schemify(true, Schemifier.infoF _, 
 41 | 	    User, Attendance, Course, PosedProblem, PosedProblemSet, Problem, ProblemType, 
 42 | 	    DFAConstructionProblem, DFAConstructionSolutionAttempt,
 43 |       NFAConstructionProblem, NFAConstructionSolutionAttempt, 
 44 | 	    NFAToDFAProblem, NFAToDFASolutionAttempt, 
 45 |       RegExConstructionProblem, RegexConstructionSolutionAttempt,
 46 |       PumpingLemmaProblem, PumpingLemmaSolutionAttempt,
 47 | 	    ProblemSet, Role, SolutionAttempt, Supervision)
 48 | 	
 49 |   StartupHooks.hooks map (hook => hook())
 50 | 
 51 | 	val loggedInPredicate = If(() => User.loggedIn_?, () => RedirectResponse("/index"))
 52 | 	val notLoggedInPredicate = If(() => !User.loggedIn_?, () => RedirectResponse("/index"))
 53 | 	val isInstructorPredicate = If(() => User.currentUser.map(_.hasInstructorRole) openOr false, () => { S.error("This page is only available to instructors"); RedirectResponse("/index") })
 54 | 	val isAdminPredicate = If(() => User.currentUser.map(_.hasAdminRole) openOr false, () => { S.error("This page is only available to admins"); RedirectResponse("/index") })
 55 | 
 56 |     // Build SiteMap
 57 |     val entries = List(
 58 |       Menu.i("Home") / "index",
 59 |       
 60 |       Menu.i("Try it Now!") / "preview" / "index" >> notLoggedInPredicate submenus(
 61 |           Menu.i("Solve Preview") /"preview" / "solve" >> Hidden),
 62 |           
 63 |       Menu.i("Practice Problem Sets") / "practicesets" / "index" >> loggedInPredicate submenus(
 64 |           Menu.i("Solve Practice Set Problem") /"practicesets" / "solve" >> Hidden),
 65 |       
 66 |       Menu.i("Problems") / "problems" / "index" >> isInstructorPredicate submenus(
 67 |           Menu.i("Create Problem") / "problems" / "create" >> Hidden,
 68 |           Menu.i("Edit Problem") / "problems" / "edit" >> Hidden),
 69 |           
 70 |       Menu.i("Problem Sets") / "problemsets" / "index" >> isInstructorPredicate submenus(
 71 |           Menu.i("Create Problem Set") / "problemsets" / "create" >> Hidden,
 72 |           Menu.i("Edit Problem Set") / "problemsets" / "edit" >> Hidden,
 73 |           Menu.i("Append Problem to Problem Set") / "problemsets" / "addproblem" >> Hidden,
 74 |           Menu.i("Pose Problem to Problem Set") / "problemsets" / "poseproblem" >> Hidden),
 75 | 
 76 |       Menu.i("Courses") / "courses" / "index" >> loggedInPredicate submenus(
 77 |           Menu.i("Show Course") / "courses" / "show" >> Hidden,
 78 |           Menu.i("Solve Problem Set") / "courses" / "solveproblemset" >> Hidden,
 79 |           Menu.i("Solve Practice Problem") / "courses" / "solvepractice" >> Hidden,
 80 |           Menu.i("Solve Problem") / "courses" / "solveproblem" >> Hidden,
 81 |           Menu.i("Create Course") / "courses" / "create" >> Hidden,
 82 |           Menu.i("Manage Course") / "courses" / "manage" >> Hidden,
 83 |           Menu.i("Choose Problem Set To Add") / "courses" / "chooseproblemset" >> Hidden,
 84 |           Menu.i("Pose Problem Set") / "courses" / "poseproblemset" >> Hidden),
 85 | 
 86 |       Menu.i("Users") / "users" / "index" >> isAdminPredicate submenus(
 87 |     	  Menu.i("Edit User") / "users" / "edit" >> Hidden)
 88 | 
 89 | 	) ::: User.sitemap ::: List(
 90 | 	  Menu.i("About") / "about" / "index" submenus(
 91 |           Menu.i("Terms of service") / "about" / "terms-of-service", // >> Hidden,
 92 |           Menu.i("Privacy statement") / "about" / "privacy-statement") // >> Hidden )
 93 | 	)
 94 | 
 95 |     // set the sitemap.  Note if you don't want access control for
 96 |     // each page, just comment this line out.
 97 |     LiftRules.setSiteMap(SiteMap(entries : _*))
 98 | 
 99 |     //Show the spinny image when an Ajax call starts
100 |     LiftRules.ajaxStart =
101 |       Full(() => LiftRules.jsArtifacts.show("ajax-loader").cmd)
102 |     
103 |     // Make the spinny image go away when it ends
104 |     LiftRules.ajaxEnd =
105 |       Full(() => LiftRules.jsArtifacts.hide("ajax-loader").cmd)
106 | 
107 |     // Force the request to be UTF-8
108 |     LiftRules.early.append(_.setCharacterEncoding("UTF-8"))
109 | 
110 |     // Use HTML5 for rendering
111 |     LiftRules.htmlProperties.default.set((r: Req) =>
112 |       new Html5Properties(r.userAgent))
113 | 
114 |     //Init the jQuery module, see http://liftweb.net/jquery for more information.
115 |     LiftRules.jsArtifacts = JQueryArtifacts
116 |     JQueryModule.InitParam.JQuery=JQueryModule.JQuery172
117 |     JQueryModule.init()
118 | 
119 |   }
120 | }
121 | 
122 | trait StartupHook {
123 |   /* Since code in the trait is executed during the instantiation of the object carrying that trait, every object that has this trait
124 |    * registers itself in the companion object and can easily be executed during 
125 |    */
126 |   StartupHooks.hooks += this.onStartup
127 | 
128 |   def onStartup(): Unit
129 | }
130 | 
131 | private object StartupHooks {
132 |   val hooks = collection.mutable.ListBuffer[() => Unit]()
133 | }


--------------------------------------------------------------------------------
/src/main/scala/com/automatatutor/BuchiGame.scala:
--------------------------------------------------------------------------------
  1 | package com.automatatutor
  2 | 
  3 | import scala.xml.NodeSeq
  4 | import com.automatatutor.lib.TemplateLoader
  5 | import com.automatatutor.model.DFAConstructionProblem
  6 | import com.automatatutor.model.Problem
  7 | import com.automatatutor.model.SolutionAttempt
  8 | import net.liftweb.http.SHtml
  9 | import net.liftweb.mapper.IdPK
 10 | import net.liftweb.mapper.LongKeyedMapper
 11 | import net.liftweb.mapper.LongKeyedMetaMapper
 12 | import net.liftweb.mapper.MappedLongForeignKey
 13 | import net.liftweb.mapper.MappedText
 14 | import net.liftweb.util.Helpers
 15 | import net.liftweb.util.Helpers.strToSuperArrowAssoc
 16 | import com.automatatutor.lib.Renderer
 17 | import com.automatatutor.lib.Binding
 18 | import com.automatatutor.lib.Binder
 19 | import com.automatatutor.snippet.ProblemSnippet
 20 | import java.util.Date
 21 | import net.liftweb.common.Box
 22 | 
 23 | object BuchiGameSolving {
 24 |   object SnippetAdapter extends ProblemSnippet {
 25 |     /** Should produce a NodeSeq that allows the user to create a new problem of
 26 |      *  the type. This NodeSeq also has to handle creation of the unspecific
 27 |      *  {@link Problem}. */
 28 |     def renderCreate( createUnspecificProb : (String, String) => Problem, returnFunc : () => Nothing ) : NodeSeq = BuchiGameSolving.renderCreate(createUnspecificProb, returnFunc)
 29 | 
 30 |     /** Should produce a NodeSeq that allows the user to edit the problem
 31 |      *  associated with the given unspecific problem. */
 32 |     def renderEdit : Box[((Problem, () => Nothing) => NodeSeq)] = ???
 33 |     
 34 |     /** Should produce a NodeSeq that allows the user a try to solve the problem
 35 |      *  associated with the given unspecific problem. The function
 36 |      *  recordSolutionAttempt must be called once for every solution attempt
 37 |      *  and expects the grade of the attempt (which must be <= maxGrade) and the
 38 |      *  time the attempt was made. After finishing the solution attempt, the
 39 |      *  snippet should send the user back to the overview of problems in the
 40 |      *  set by calling returnToSet */
 41 |     def renderSolve ( problem : Problem, maxGrade : Long, lastAttempt : Box[SolutionAttempt],
 42 |         recordSolutionAttempt: (Int, Date)  => SolutionAttempt,
 43 |         returnToSet : () => Unit , attemptsLeft : () => Int, bestGrade : () => Int) : NodeSeq = ???
 44 |     
 45 |     /** Is called before the given unspecific problem is deleted from the database.
 46 |      *  This method should delete everything associated with the given unspecific
 47 |      *  problem from the database */
 48 |     def onDelete( problem : Problem ) : Unit = ???
 49 |     
 50 |   }
 51 |   class Task extends LongKeyedMapper[Task] with IdPK {
 52 |     def getSingleton = Task
 53 |     
 54 |     protected object generalProblem extends MappedLongForeignKey(this, Problem)
 55 |     protected object arena extends MappedText(this)
 56 |     
 57 |     def setGeneralProblem ( problem : Problem) : Task = this.generalProblem(problem)
 58 |     def getGeneralProblem : Problem = this.generalProblem.obj openOrThrowException "Every Task must have a generalProblem"
 59 |     
 60 |     def setArena ( game : String ) = this.arena(game)
 61 |     def setArena ( game : NodeSeq ) = this.arena(game.mkString)
 62 |     def getArena : String = this.arena.get
 63 |   }
 64 |   object Task extends Task with LongKeyedMetaMapper[Task]
 65 |   
 66 |   class Solution extends LongKeyedMapper[Solution] with IdPK {
 67 |     def getSingleton = Solution
 68 |     
 69 |     protected object generalSolution extends MappedLongForeignKey(this, SolutionAttempt)
 70 |     protected object solution extends MappedText(this)
 71 |   }
 72 |   object Solution extends Solution with LongKeyedMetaMapper[Solution]
 73 |   
 74 |   def renderCreate( createUnspecificProb : (String, String) => Problem, returnFunc : () => Nothing ) : NodeSeq = {
 75 |     var shortDescription : String = ""
 76 |     var longDescription : String = ""
 77 |     var arena : String = ""
 78 | 
 79 |     object canvasRenderer extends Renderer { def render = {
 80 |       <lift:embed what="/applets/buchi-game"> </lift:embed> ++
 81 |       SHtml.hidden(arena = _, "", "id" -> "arenaField")
 82 |     } }
 83 |     object submitButtonRenderer extends Renderer { def render = {
 84 |       SHtml.submit("Create", create, "onClick" -> "document.getElementById('arenaField').value = Editor.canvas.exportAutomaton()")
 85 |     } }
 86 |     object shortDescRenderer extends Renderer { def render = {
 87 |       SHtml.text("", shortDescription = _)
 88 |     } }
 89 |     object longDescRenderer extends Renderer { def render = {
 90 |       SHtml.textarea("", longDescription = _, "cols" -> "80", "rows" -> "5")
 91 |     } }
 92 | 
 93 |     def create() = {
 94 |       val unspecificProblem = createUnspecificProb(shortDescription, longDescription)
 95 |       
 96 |       val specificProblem : Task = Task.create
 97 |       specificProblem.setGeneralProblem(unspecificProblem).setArena(arena)
 98 |       specificProblem.save
 99 |       
100 |       returnFunc()
101 |     }
102 |     
103 |     val arenaBinding = new Binding("arena", canvasRenderer)
104 |     val submitBinding = new Binding("submit", submitButtonRenderer)
105 | 
106 |     val shortDescBinding  = new Binding("shortdescription", shortDescRenderer)
107 |     val longDescBinding = new Binding("longdescription", longDescRenderer)
108 |     
109 |     val template : NodeSeq = TemplateLoader.BuchiSolving.create
110 |     new Binder("createform", arenaBinding, submitBinding, shortDescBinding, longDescBinding).bind(template)
111 |   }
112 | 
113 | }


--------------------------------------------------------------------------------
/src/main/scala/com/automatatutor/lib/Binder.scala:
--------------------------------------------------------------------------------
 1 | package com.automatatutor.lib
 2 | 
 3 | import scala.xml.NodeSeq
 4 | import net.liftweb.util.Helpers
 5 | import net.liftweb.util.Helpers.TheBindParam
 6 | import net.liftweb.util.Helpers.BindParam
 7 | 
 8 | /**
 9 |  * At several points during processing snippets, we need to create NodeSeqs to plug into templates.
10 |  * These NodeSeqs are usually created ad hoc, querying whatever data they need and plugging them in using net.liftweb.util.Helpers.bind.
11 |  * In order to move away from this ad-hoc-fashion, we implement this Binding-framework
12 |  * that modularizes the individual parts of this task in the hope that we may divide the different concerns when rendering such NodeSeqs.
13 |  * 
14 |  * There are three central parts to this framework: Renderers, Bindings, and the Binder.
15 |  * The goal of the user is most often to create a Binder, on which they can then call the bind(...) method in our to obtain the template with the relevant parts replaced
16 |  * Each Binder contains several Bindings telling it a) which elements to replace, and b) what to replace them with
17 |  * One such pair of (what to replace) and (with what) is encapsulated in a Binding.
18 |  * Each Binding contains a Renderer that tells the Binding what to replace the given location with.
19 |  * 
20 |  * For more detail, please refer to the documentation of the individual classes.
21 |  */
22 | 
23 | abstract trait AbstractRenderer { 
24 |   /** Called by the Binding when it needs to produce a NodeSeq */
25 |   def render( input : NodeSeq ) : NodeSeq
26 | }
27 | 
28 | /**
29 |  * The most general kind of renderer.
30 |  * Is given the NodeSeq it shall replace.
31 |  */
32 | trait DynamicRenderer extends AbstractRenderer {
33 |   def render( input : NodeSeq ) : NodeSeq
34 | }
35 | 
36 | /**
37 |  * A static renderer that only returns a constant NodeSeq.
38 |  * Useful, for example, to produce labels or buttons with constant label.
39 |  * Should be used very rarely, however, since there should be as much freedom
40 |  * as possible in the templates, so nearly every Renderer should react at
41 |  * least to some parameters given in the template.
42 |  */
43 | trait Renderer extends AbstractRenderer { 
44 |   protected def render : NodeSeq
45 |   def render ( input : NodeSeq ) : NodeSeq = { this.render }
46 | }
47 | 
48 | /**
49 |  * Quite often it is necessary to render some data for the user.
50 |  * This usually amounts to binding certain information of the data to the
51 |  * template and doing so for each element of data found in the database.
52 |  * This Renderer encapsulates this process by defining an abstract method
53 |  * for implementation that is called for every data object in the given sequence.
54 |  * 
55 |  * Can be used, for example, like
56 |  *     new DataRenderer(Seq(1,2,3)) { override def render ( template : NodeSeq, data : Int ) : NodeSeq { <b> data </b> } }
57 |  * which would return the NodeSeq <b>1</b><b>2</b><b>3</b>, while ignoring the template
58 |  */
59 | abstract class DataRenderer[T](data : Seq[T]) extends AbstractRenderer {
60 |   protected def render ( template : NodeSeq, data : T ) : NodeSeq
61 |   def render( template : NodeSeq ) : NodeSeq = data.flatMap { data => render(template, data) }
62 | }
63 | 
64 | /**
65 |  * Encapsulates the "where" and the "what" of binding content to a template.
66 |  * In order to bind the result of `renderer` to the tag `target`, define a Binding like
67 |  *     new Binding("target", renderer)
68 |  */
69 | class Binding(val target : String, val renderer : AbstractRenderer)
70 | 
71 | /**
72 |  * Encapsulates several bindings and binds them all to all tags that match that binding with a given prefix.
73 |  * For example,
74 |  *     new Binder("testNs", new Binding("target", renderer)).bind(<testNs:target></testNs:target>)
75 |  * would return the result of renderer, while
76 |  *     new Binder("otherNs", new Binding("target", renderer)).bind(<testNs:target></testNs:target>)
77 |  * would return <testNs:target></testNs:target>.
78 |  */
79 | class Binder(prefix : String, bindings : Binding*) {
80 |   def this(bindings : Binding*) = this("", bindings : _*)
81 |   
82 |   def bind(template : NodeSeq) : NodeSeq = {
83 |     val bindParams : Seq[BindParam]  = bindings map ( { binding =>
84 |       val filteredTemplate = (template \\ binding.target).filter( _.prefix == prefix )
85 |       new TheBindParam(binding.target, binding.renderer.render(filteredTemplate)).asInstanceOf[BindParam]
86 |     } )
87 |     Helpers.bind(prefix, template, bindParams : _*)
88 |   }
89 | }


--------------------------------------------------------------------------------
/src/main/scala/com/automatatutor/lib/Config.scala:
--------------------------------------------------------------------------------
 1 | package com.automatatutor.lib
 2 | 
 3 | import net.liftweb.common.Box
 4 | import net.liftweb.common.Empty
 5 | import net.liftweb.common.Full
 6 | import net.liftweb.util.Props
 7 | import net.liftweb.db.StandardDBVendor
 8 | import net.liftweb.db.ConnectionManager
 9 | 
10 | object Config {
11 | 
12 |   abstract class ConfigParam[T]() { def get: T }
13 | 
14 |   private case class StringParam(protected val accessor: Accessor) extends ConfigParam[String]() { def get = accessor.access }
15 |   private case class IntParam(protected val accessor: Accessor) extends ConfigParam[Int]() { def get = accessor.access.toInt }
16 |   private case class BoolParam(protected val accessor: Accessor) extends ConfigParam[Boolean]() { def get = accessor.access.toBoolean }
17 | 
18 |   private abstract class Accessor { def access: String }
19 |   private case class Prop(id: String, fallback: Accessor) extends Accessor {
20 |     def access = Props.get(id) match {
21 |       case Full(prop) => prop
22 |       case Empty      => fallback.access
23 |       case _          => fallback.access
24 |     }
25 |   }
26 |   private case class Default(definition: String) extends Accessor { def access = definition }
27 |   private case object Mandatory extends Accessor { def access = throw new Exception("Improper configuration") }
28 | 
29 |   object layout {
30 |     val usersPerPage: ConfigParam[Int] = IntParam(Prop("layout.usersperpage", Default("50")))
31 |   }
32 | 
33 |   object mail {
34 |     val user: ConfigParam[String] = StringParam(Prop("mail.user", Default("")))
35 |     val password: ConfigParam[String] = StringParam(Prop("mail.password", Default("")))
36 |     val from: ConfigParam[String] = StringParam(Prop("mail.from", Default("noreply@automatatutor.com")))
37 |   }
38 | 
39 |   object db extends ConfigParam[ConnectionManager] {
40 |     private val driver: ConfigParam[String] = StringParam(Prop("db.driver", Mandatory))
41 |     private val url: ConfigParam[String] = StringParam(Prop("db.url", Mandatory))
42 |     private val user: ConfigParam[Box[String]] = new ConfigParam[Box[String]] { def get = Props.get("db.user") }
43 |     private val password: ConfigParam[Box[String]] = new ConfigParam[Box[String]] { def get = Props.get("db.password") }
44 | 
45 |     def get = new StandardDBVendor(driver.get, url.get, user.get, password.get)
46 |   }
47 | 
48 |   object admin {
49 |     val firstname: ConfigParam[String] = StringParam(Prop("admin.firstname", Default("Admin")))
50 |     val lastname: ConfigParam[String] = StringParam(Prop("admin.lastname", Default("Admin")))
51 |     val password: ConfigParam[String] = StringParam(Prop("admin.password", Default("admin")))
52 |     val email: ConfigParam[String] = StringParam(Prop("admin.email", Default("admin@automatatutor.com")))
53 |   }
54 | 
55 |   object grader {
56 |     val url: ConfigParam[String] = StringParam(Prop("grader.url", Mandatory))
57 |     val methodnamespace: ConfigParam[String] = StringParam(Prop("grader.methodnamespace", Mandatory))
58 |   }
59 |   
60 |   object buchiGameSolving {
61 |     val enabled : ConfigParam[Boolean] = BoolParam(Prop("buchigamesolving.enabled", Default("false")))
62 |   }
63 | }


--------------------------------------------------------------------------------
/src/main/scala/com/automatatutor/lib/DownloadHelper.scala:
--------------------------------------------------------------------------------
 1 | package com.automatatutor.lib
 2 | 
 3 | import java.io.ByteArrayInputStream
 4 | 
 5 | import scala.xml.NodeSeq
 6 | 
 7 | import net.liftweb.http.ResponseShortcutException
 8 | import net.liftweb.http.SHtml
 9 | import net.liftweb.http.StreamingResponse
10 | 
11 | object DownloadHelper {
12 | 
13 |   private abstract class FileType(mimeType : String, fileSuffix : String) {
14 |     def getMimeType = mimeType
15 |     def getFileSuffix = fileSuffix
16 |   }
17 |   private case object CsvFile extends FileType("text/csv", ".csv")
18 |   private case object XmlFile extends FileType("text/xml", ".xml")
19 |   private case object XlsxFile extends FileType("application/vnd.openxmlformats-officedocument.spreadsheetml.sheet", ".xlsx")
20 | 
21 |   private def offerDownloadToUser(contents: String, filename: String, filetype: FileType) = {
22 |     def buildDownloadResponse = {
23 |       val contentAsBytes = contents.getBytes()
24 |       val downloadSize = contentAsBytes.length
25 | 
26 |       def buildStream = {
27 |         new ByteArrayInputStream(contentAsBytes)
28 |       }
29 |       
30 |       def buildHeaders = {
31 |         val filenameWithSuffix = filename + filetype.getFileSuffix
32 |         List(
33 |           "Content-type" -> filetype.getMimeType,
34 |           "Content-length" -> downloadSize.toString,
35 |           "Content-disposition" -> ("attachment; filename=" + filenameWithSuffix)
36 |         )
37 |       }
38 | 
39 |       val stream = buildStream
40 |       val onEndCallback = () => {}
41 |       val headers = buildHeaders
42 |       val cookies = Nil
43 |       val responseCode = 200
44 |       
45 |       new StreamingResponse(
46 |           stream, onEndCallback, downloadSize, headers, cookies, responseCode
47 |       )
48 |     }
49 | 
50 |     throw new ResponseShortcutException(buildDownloadResponse)
51 |   }
52 | 
53 |   def renderCsvDownloadLink ( contents : String, filename : String, linkBody : NodeSeq ) : NodeSeq = {
54 |     return SHtml.link("ignored", () => offerDownloadToUser(contents, filename, CsvFile), linkBody)
55 |   }
56 |   
57 |   def renderXmlDownloadLink ( contents : NodeSeq, filename : String, linkBody : NodeSeq ) : NodeSeq = {
58 |     return SHtml.link("ignored", () => offerDownloadToUser(contents.toString, filename, XmlFile), linkBody)
59 |   }
60 | 
61 |   def renderXlsxDownloadLink ( contents : String, filename : String, linkBody : NodeSeq ) : NodeSeq = {
62 |     return SHtml.link("ignored", () => offerDownloadToUser(contents.toString, filename, XlsxFile), linkBody)
63 |   }
64 | }


--------------------------------------------------------------------------------
/src/main/scala/com/automatatutor/lib/TableHelper.scala:
--------------------------------------------------------------------------------
 1 | package com.automatatutor.lib
 2 | 
 3 | import scala.xml.{NodeSeq, Text, Elem, Null, TopScope, Node}
 4 | 
 5 | object TableHelper {
 6 | 	private def renderTableHeader( headings : Seq[String] ) : Node = {
 7 | 	  val headingsXml : NodeSeq = headings.map(heading => <th> { heading } </th>)
 8 | 	  return <tr> { headingsXml } </tr>
 9 | 	}
10 | 	 
11 | 	private def renderSingleRow[T] ( datum : T , displayFuncs : Seq[T => NodeSeq]) : Node = {
12 | 	  return <tr> { displayFuncs.map(func => <td> { func(datum) } </td>) } </tr>
13 | 	}
14 | 
15 | 	private def renderTableBody[T] ( data : Seq[T], displayFuncs : Seq[T => NodeSeq]) : NodeSeq = {
16 | 	  return data.map(renderSingleRow(_, displayFuncs))
17 | 	}
18 | 	
19 | 	def renderTable[T] (data : Seq[T], displayFuncs : (T => NodeSeq)*) : NodeSeq = {
20 | 	  val dataRows = renderTableBody(data, displayFuncs)
21 | 
22 | 	  return <table> { dataRows } </table>
23 | 	}
24 | 	
25 | 	def renderTableWithHeader[T] (data : Seq[T], colSpec : (String, (T => NodeSeq))*) : NodeSeq = {
26 | 	  val headings = colSpec.map(_._1)
27 | 	  val headerRow = renderTableHeader(headings)
28 | 
29 | 	  val displayFuncs = colSpec.map(_._2)
30 | 	  val dataRows = renderTableBody(data, displayFuncs)
31 | 
32 | 	  return <table> { headerRow ++ dataRows } </table>
33 | 	}
34 | }
35 | 


--------------------------------------------------------------------------------
/src/main/scala/com/automatatutor/lib/TemplateLoader.scala:
--------------------------------------------------------------------------------
 1 | package com.automatatutor.lib
 2 | 
 3 | import net.liftweb.http.Templates
 4 | import scala.xml.NodeSeq
 5 | import net.liftweb.common.Full
 6 | import net.liftweb.common.Empty
 7 | 
 8 | object TemplateLoader {
 9 |   private class TemplateLocation(loc : String, addLoc : String*) {
10 |     def getPath : List[String] = { List(loc) ++ List(addLoc : _*) }
11 |   }
12 | 
13 |   private def load(loc : TemplateLocation) : NodeSeq = Templates(loc.getPath) match {
14 |     case Full(template) => template
15 |     case Empty          => NodeSeq.Empty
16 |     case _              => NodeSeq.Empty
17 |   }
18 | 
19 |   object BuchiSolving {
20 |     def create = load(new TemplateLocation("buchi-solving", "create"))
21 |     def edit = load(new TemplateLocation("buchi-solving", "edit"))
22 |     def solve = load(new TemplateLocation("buchi-solving", "solve"))
23 |   }
24 | }


--------------------------------------------------------------------------------
/src/main/scala/com/automatatutor/model/.keep:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AutomataTutor/automatatutor-frontend/5d7b2f3639ec544bead7ca28995aecb87738c421/src/main/scala/com/automatatutor/model/.keep


--------------------------------------------------------------------------------
/src/main/scala/com/automatatutor/model/Attendance.scala:
--------------------------------------------------------------------------------
 1 | package com.automatatutor.model
 2 | 
 3 | import net.liftweb.mapper._
 4 | import net.liftweb.common.Box
 5 | 
 6 | class Attendance extends LongKeyedMapper[Attendance] with IdPK {
 7 | 	def getSingleton = Attendance
 8 | 
 9 | 	protected object userId extends MappedLongForeignKey(this, User)
10 | 	protected object courseId extends MappedLongForeignKey(this, Course)
11 | 	protected object email extends MappedEmail(this, 100)
12 | 	
13 | 	def getUser : User = this.userId.obj openOrThrowException "Every Attendance must have a User"
14 | 	def setUser ( user : User ) = this.userId(user)
15 | 	
16 | 	def getCourse : Box[Course] = this.courseId.obj
17 | 	def setCourse ( course : Course ) = this.courseId(course)
18 | 	def setCourse ( course: Box[Course] ) = this.courseId(course)
19 | 	
20 | 	def getEmail = this.email.get
21 | 	def setEmail ( email : String ) = this.email(email)
22 | }
23 | 
24 | object Attendance extends Attendance with LongKeyedMetaMapper[Attendance] {
25 | 	def deleteByCourse( course : Course ) = this.bulkDelete_!!(By(Attendance.courseId, course))
26 | 	def finalizePreliminaryEnrollments ( user : User ) = this.findAllByEmail(user.email.is).map(attendance => attendance.email(null).userId(user).save)
27 | 	def createPreliminaryEnrollment ( course : Course, email : String ) = this.create.courseId(course).email(email).save
28 | 	def findAllByEmail ( email : String ) = this.findAll(By(Attendance.email, email))
29 | 	def findAllFinalEnrollments ( course : Course ) : Seq[User] = {
30 | 	  this.findAll(By(Attendance.courseId, course), NotNullRef(Attendance.userId)).map(_.userId.obj openOrThrowException "Invariant violated: Both Attendance.userId and Attendance.email are null")
31 | 	}
32 | 	def findAllPreliminaryEnrollments ( course : Course ) : Seq[String] = this.findAll(By(Attendance.courseId, course), NullRef(Attendance.userId)).map(_.email.is)
33 | 	
34 | 	def findAllByUser(user : User) : List[Attendance] = 
35 | 	  this.findAll(By(Attendance.userId, user))
36 | 	def deleteAllByUser(user : User) : Unit = 
37 | 	  this.bulkDelete_!!(By(Attendance.userId, user))
38 | 	
39 | 	def findByUserAndCourse(user : User, course : Course) : Box[Attendance] = 
40 | 	  this.find(By(Attendance.userId, user), By(Attendance.courseId, course))
41 | 	def deleteByUserAndCourse(user : User, course : Course) : Unit = 
42 | 	  this.bulkDelete_!!(By(Attendance.userId, user), By(Attendance.courseId, course))
43 | 
44 | 	def findByEmailAndCourse(email : String, course : Course) : Box[Attendance] = 
45 | 	  this.find(By(Attendance.email, email), By(Attendance.courseId, course))
46 | 	def deleteByUserAndCourse(email : String, course : Course) : Unit = 
47 | 	  this.bulkDelete_!!(By(Attendance.email, email), By(Attendance.courseId, course))
48 | }
49 | 


--------------------------------------------------------------------------------
/src/main/scala/com/automatatutor/model/DFAConstructionProblem.scala:
--------------------------------------------------------------------------------
 1 | package com.automatatutor.model
 2 | 
 3 | import net.liftweb.mapper.MappedString
 4 | import net.liftweb.mapper.LongKeyedMapper
 5 | import net.liftweb.mapper.LongKeyedMetaMapper
 6 | import net.liftweb.mapper.MappedLongForeignKey
 7 | import net.liftweb.mapper.IdPK
 8 | import net.liftweb.mapper.By
 9 | import net.liftweb.mapper.MappedText
10 | import scala.xml.XML
11 | import scala.xml.NodeSeq
12 | import bootstrap.liftweb.StartupHook
13 | 
14 | class DFAConstructionProblem extends LongKeyedMapper[DFAConstructionProblem] with IdPK with SpecificProblem[DFAConstructionProblem] {
15 | 	def getSingleton = DFAConstructionProblem
16 | 
17 | 	protected object problemId extends MappedLongForeignKey(this, Problem)
18 | 	protected object automaton extends MappedText(this)
19 | 	
20 | 	def getGeneralProblem = this.problemId.obj openOrThrowException "Every DFAConstructionProblem must have a ProblemId"
21 | 	override def setGeneralProblem(problem : Problem) : DFAConstructionProblem = this.problemId(problem)
22 | 	
23 | 	def getAutomaton = this.automaton.is
24 | 	def setAutomaton(automaton : String) = this.automaton(automaton)
25 | 	def setAutomaton(automaton : NodeSeq) = this.automaton(automaton.mkString)
26 | 	
27 | 	def getXmlDescription : NodeSeq = XML.loadString(this.automaton.is)
28 | 	
29 | 	def getAlphabet : Seq[String] = (getXmlDescription \ "alphabet" \ "symbol").map(_.text)
30 | 	
31 | 	override def copy(): DFAConstructionProblem = {
32 | 	  val retVal = new DFAConstructionProblem
33 | 	  retVal.problemId(this.problemId.get)
34 | 	  retVal.automaton(this.automaton.get)
35 | 	  return retVal
36 | 	}
37 | }
38 | 
39 | object DFAConstructionProblem extends DFAConstructionProblem with LongKeyedMetaMapper[DFAConstructionProblem] {
40 | 	def findByGeneralProblem(generalProblem : Problem) : DFAConstructionProblem =
41 | 	  find(By(DFAConstructionProblem.problemId, generalProblem)) openOrThrowException("Must only be called if we are sure that generalProblem is a DFAConstructionProblem")
42 | 
43 | 	def deleteByGeneralProblem(generalProblem : Problem) : Boolean =
44 |     bulkDelete_!!(By(DFAConstructionProblem.problemId, generalProblem))
45 | }


--------------------------------------------------------------------------------
/src/main/scala/com/automatatutor/model/NFAConstructionProblem.scala:
--------------------------------------------------------------------------------
 1 | package com.automatatutor.model
 2 | 
 3 | import scala.xml.NodeSeq
 4 | import scala.xml.XML
 5 | import net.liftweb.mapper.By
 6 | import net.liftweb.mapper.IdPK
 7 | import net.liftweb.mapper.LongKeyedMapper
 8 | import net.liftweb.mapper.LongKeyedMetaMapper
 9 | import net.liftweb.mapper.MappedString
10 | import net.liftweb.mapper.MappedText
11 | import net.liftweb.mapper.MappedLongForeignKey
12 | import bootstrap.liftweb.StartupHook
13 | 
14 | class NFAConstructionProblem extends LongKeyedMapper[NFAConstructionProblem] with IdPK with SpecificProblem[NFAConstructionProblem] {
15 | 	def getSingleton = NFAConstructionProblem
16 | 
17 | 	protected object problemId extends MappedLongForeignKey(this, Problem)
18 | 	protected object automaton extends MappedText(this)
19 | 	
20 | 	def getGeneralProblem = this.problemId.obj openOrThrowException "Every NFAConstructionProblem must have a ProblemId"
21 | 	override def setGeneralProblem(newProblem: Problem) = this.problemId(newProblem)
22 | 	
23 | 	def getAutomaton = this.automaton.get
24 | 	def setAutomaton(automaton : String) = this.automaton(automaton)
25 | 	def setAutomaton(automaton : NodeSeq) = this.automaton(automaton.mkString)
26 | 	
27 | 	def getXmlDescription : NodeSeq = XML.loadString(this.automaton.is)
28 | 	
29 | 	// Since we have ε in the alphabet, we have to remove it before handing out the alphabet
30 | 	def getAlphabet : Seq[String] = (getXmlDescription \ "alphabet" \ "symbol").map(_.text)
31 | 	
32 | 	def getEpsilon : Boolean = 
33 | 		(getXmlDescription \ "epsilon").isEmpty || 
34 | 		(getXmlDescription \ "epsilon").map(_.text).head.replaceAll(" ", "").toBoolean
35 | 
36 | 	override def copy(): NFAConstructionProblem = {
37 | 	  val retVal = new NFAConstructionProblem
38 | 	  retVal.problemId(this.problemId.get)
39 | 	  retVal.automaton(this.automaton.get)
40 | 	  return retVal
41 | 	}
42 | }
43 | 
44 | object NFAConstructionProblem extends NFAConstructionProblem with LongKeyedMetaMapper[NFAConstructionProblem] {
45 | 	def findByGeneralProblem(generalProblem : Problem) : NFAConstructionProblem =
46 | 	  find(By(NFAConstructionProblem.problemId, generalProblem)) openOrThrowException("Must only be called if we are sure that generalProblem is a NFAConstructionProblem")
47 | 
48 | 	def deleteByGeneralProblem(generalProblem : Problem) : Boolean =
49 |     this.bulkDelete_!!(By(NFAConstructionProblem.problemId, generalProblem))
50 | }


--------------------------------------------------------------------------------
/src/main/scala/com/automatatutor/model/NFAToDFAProblem.scala:
--------------------------------------------------------------------------------
 1 | package com.automatatutor.model
 2 | 
 3 | import net.liftweb.mapper.MappedString
 4 | import net.liftweb.mapper.LongKeyedMapper
 5 | import net.liftweb.mapper.LongKeyedMetaMapper
 6 | import net.liftweb.mapper.MappedLongForeignKey
 7 | import net.liftweb.mapper.IdPK
 8 | import net.liftweb.mapper.By
 9 | import net.liftweb.mapper.MappedText
10 | import scala.xml.XML
11 | import scala.xml.NodeSeq
12 | 
13 | class NFAToDFAProblem extends LongKeyedMapper[NFAToDFAProblem] with IdPK with SpecificProblem[NFAToDFAProblem] {
14 | 	def getSingleton = NFAToDFAProblem
15 | 
16 | 	protected object problemId extends MappedLongForeignKey(this, Problem)
17 | 	protected object automaton extends MappedText(this)
18 | 	
19 | 	def getGeneralProblem = this.problemId.obj openOrThrowException "Every NFAToDFAProblem must have a ProblemId"
20 | 	override def setGeneralProblem(problem : Problem) = this.problemId(problem)
21 | 	
22 | 	def getAutomaton = this.automaton.get
23 | 	def setAutomaton( automaton : String ) = this.automaton(automaton)
24 | 	def setAutomaton( automaton : NodeSeq ) = this.automaton(automaton.mkString)
25 | 	
26 | 	def getXmlDescription : NodeSeq = XML.loadString(this.automaton.is)
27 | 	
28 | 	def getAlphabet : Seq[String] = (getXmlDescription \ "alphabet" \ "symbol").map(_.text)
29 | 
30 | 	override def copy(): NFAToDFAProblem = {
31 | 	  val retVal = new NFAToDFAProblem
32 | 	  retVal.problemId(this.problemId.get)
33 | 	  retVal.automaton(this.automaton.get)
34 | 	  return retVal
35 | 	}
36 | }
37 | 
38 | object NFAToDFAProblem extends NFAToDFAProblem with LongKeyedMetaMapper[NFAToDFAProblem] {
39 | 	def findByGeneralProblem(generalProblem : Problem) : NFAToDFAProblem =
40 | 	  find(By(NFAToDFAProblem.problemId, generalProblem)) openOrThrowException("Must only be called if we are sure that generalProblem is a DFAConstructionProblem")
41 | 
42 | 	def deleteByGeneralProblem(generalProblem : Problem) : Boolean =
43 |     NFAToDFAProblem.bulkDelete_!!(By(NFAToDFAProblem.problemId, generalProblem))
44 | }


--------------------------------------------------------------------------------
/src/main/scala/com/automatatutor/model/PosedProblem.scala:
--------------------------------------------------------------------------------
  1 | package com.automatatutor.model
  2 | 
  3 | import net.liftweb.mapper._
  4 | import net.liftweb.common.Full
  5 | import net.liftweb.common.Empty
  6 | import net.liftweb.common.Box
  7 | 
  8 | class PosedProblem extends LongKeyedMapper[PosedProblem] with IdPK {
  9 | 	def getSingleton = PosedProblem
 10 | 
 11 | 	protected object allowedAttempts extends MappedLong(this)
 12 | 	protected object maxGrade extends MappedLong(this)
 13 | 	protected object problemId extends MappedLongForeignKey(this, Problem)
 14 | 	protected object nextPosedProblemId extends MappedLongForeignKey(this, PosedProblem)
 15 | 	
 16 | 	def getAllowedAttempts : Long = this.allowedAttempts.is
 17 | 	def setAllowedAttempts ( attempts : Long ) : PosedProblem = this.allowedAttempts(attempts)
 18 | 	
 19 | 	def getMaxGrade : Long = this.maxGrade.is
 20 | 	def setMaxGrade ( maxGrade : Long ) = this.maxGrade(maxGrade)
 21 | 	
 22 | 	def getProblem : Problem = this.problemId.obj openOrThrowException "Every PosedProblem must have a Problem"
 23 | 	def setProblem ( problem : Problem ) = this.problemId(problem)
 24 | 	
 25 | 	def getNextPosedProblem : Box[PosedProblem] = this.nextPosedProblemId.obj
 26 | 	def setNextPosedProblem ( posedProblem : PosedProblem ) : PosedProblem = this.nextPosedProblemId(posedProblem)
 27 | 	def setNextPosedProblem ( posedProblem : Box[PosedProblem] ) : PosedProblem = this.nextPosedProblemId(posedProblem)		
 28 | 	
 29 | 	override def delete_! : Boolean = {
 30 | 	  val superSucceeded = super.delete_!
 31 | 
 32 | 	  if (!superSucceeded) return false
 33 | 
 34 | 	  // If this is not the first PosedProblem in a list, fix the previous list pointer to point at the next one
 35 | 	  PosedProblem.findByNextPosedProblem(this).map { previousPosedProblem =>
 36 | 	    previousPosedProblem.setNextPosedProblem(this.nextPosedProblemId.obj)
 37 | 	    if (!previousPosedProblem.save()) return false
 38 | 	  }
 39 | 	  // If this is the first PosedProblem in a list, fix the head pointer to point to the next
 40 | 	  ProblemSet.findByFirstPosedProblem(this).map { problemSet => 
 41 | 	    problemSet.setPosedProblem(this.nextPosedProblemId.obj)
 42 | 	    if (!problemSet.save()) return false
 43 | 	  }
 44 | 	  return true
 45 | 	}
 46 | 	
 47 | 	def deleteRecursively : Unit = {
 48 | 	  this.nextPosedProblemId.obj match {
 49 | 	    case Full(nextPosedProblem) => nextPosedProblem.deleteRecursively
 50 | 	    case _ => {} // We've reached the end of recursion
 51 | 	  }
 52 | 	  this.delete_! // Delete self
 53 | 	  return ()
 54 | 	}
 55 | 	
 56 | 	def getListRecursively : List[PosedProblem] = {
 57 | 	  return this :: ( this.nextPosedProblemId.obj match {
 58 | 	    case Full(nextProblem) => nextProblem.getListRecursively
 59 | 	    case _ => Nil
 60 | 	  } )
 61 | 	}	
 62 | 	
 63 | 	def appendProblemRecursively ( toAppend : PosedProblem )  : Unit = {
 64 | 	  this.nextPosedProblemId.obj match {
 65 | 	    case Full(nextPosedProblem) => nextPosedProblem.appendProblemRecursively(toAppend)
 66 | 	    case _ => this.nextPosedProblemId(toAppend).save
 67 | 	  }
 68 | 	}
 69 | 	
 70 | 	def getAttempts ( user : User, problemSet : PosedProblemSet ) : Seq[SolutionAttempt] = {
 71 | 	  return SolutionAttempt.findAll(
 72 | 	      By(SolutionAttempt.userId, user), 
 73 | 	      By(SolutionAttempt.posedProblemSetId, problemSet),
 74 | 	      By(SolutionAttempt.posedProblemId, this))
 75 | 	}
 76 | 	
 77 | 	def getNumberAttempts( user : User, problemSet : PosedProblemSet ) : Int = {
 78 | 	  this.getAttempts(user, problemSet).size
 79 | 	}
 80 | 	
 81 | 	def getNumberAttemptsRemaining(user : User, problemSet : PosedProblemSet ) : Long = {
 82 | 
 83 | 	  if(this.isPracticeProblem) { 
 84 | 	    return 1 
 85 | 	  } else {
 86 | 		return this.allowedAttempts.is - this.getNumberAttempts(user, problemSet)
 87 | 	  }
 88 | 	}
 89 | 	
 90 | 	def getGrade ( user : User, problemSet : PosedProblemSet ) : Int = {
 91 | 	  val grades = this.getAttempts(user, problemSet).map(_.grade.is)
 92 | 	  if(grades.isEmpty) {
 93 | 	    return 0
 94 | 	  } else {
 95 | 	    return grades.max
 96 | 	  }
 97 | 	}
 98 | 	
 99 | 	
100 | 	/**
101 | 	 * A posed problem is defined as open if either the user has used all attempts
102 | 	 * or if they have reached the maximal possible grade in one attempt
103 | 	 */
104 | 	def isOpen ( user : User, problemSet : PosedProblemSet ) : Boolean = {
105 | 	  val allowedAttempts = this.allowedAttempts.is
106 | 	  val takenAttempts = this.getNumberAttempts(user, problemSet)
107 | 	  val maxGrade = this.maxGrade.is
108 | 	  val userGrade = this.getGrade(user, problemSet)
109 | 	  
110 | 	  return isPracticeProblem || (takenAttempts < allowedAttempts) //&& userGrade < maxGrade)
111 | 	}
112 | 	
113 | 	def isPracticeProblem = allowedAttempts == 0
114 | }
115 | 
116 | object PosedProblem extends PosedProblem with LongKeyedMetaMapper[PosedProblem] {
117 | 	def existsForProblem(problem : Problem) : Boolean = this.find(By(PosedProblem.problemId, problem)) match { 
118 | 	case Empty => false case Full(_) => true case _ => false}
119 | 	def findByProblem(problem : Problem) : Seq[PosedProblem] = this.findAll(By(PosedProblem.problemId, problem))
120 | 	def findByNextPosedProblem(nextProblem : PosedProblem) : Box[PosedProblem] = this.find(By(PosedProblem.nextPosedProblemId, nextProblem))
121 | }
122 | 


--------------------------------------------------------------------------------
/src/main/scala/com/automatatutor/model/Problem.scala:
--------------------------------------------------------------------------------
  1 | package com.automatatutor.model
  2 | 
  3 | import com.automatatutor.snippet.DFAConstructionSnippet
  4 | import com.automatatutor.snippet.NFAProblemSnippet
  5 | import com.automatatutor.snippet.NFAToDFAProblemSnippet
  6 | import com.automatatutor.snippet.ProblemSnippet
  7 | import com.automatatutor.snippet.RegExConstructionSnippet
  8 | import com.automatatutor.snippet.PumpingLemmaProblemSnippet
  9 | import net.liftweb.common.Empty
 10 | import net.liftweb.common.Full
 11 | import net.liftweb.mapper.By
 12 | import net.liftweb.mapper.IdPK
 13 | import net.liftweb.mapper.LongKeyedMapper
 14 | import net.liftweb.mapper.LongKeyedMetaMapper
 15 | import net.liftweb.mapper.MappedLong
 16 | import net.liftweb.mapper.MappedString
 17 | import net.liftweb.mapper.MappedText
 18 | import net.liftweb.mapper.MappedLongForeignKey
 19 | import bootstrap.liftweb.StartupHook
 20 | import com.automatatutor.lib.Config
 21 | import com.automatatutor.BuchiGameSolving
 22 | 
 23 | class ProblemType extends LongKeyedMapper[ProblemType] with IdPK {
 24 | 	def getSingleton = ProblemType
 25 | 	
 26 | 	val DFAConstructionTypeName = "English to DFA"
 27 | 	val NFAConstructionTypeName = "English to NFA"
 28 | 	val NFAToDFATypeName = "NFA to DFA"
 29 | 	val EnglishToRegExTypeName = "English to Regular Expression"
 30 | 	//val PLTypeName = "Pumping Lemma Proof"
 31 | 	val BuchiSolvingTypeName = "Buchi Game Solving"
 32 | 
 33 |     val knownProblemTypes : Map[String, ProblemSnippet] = Map(
 34 |         DFAConstructionTypeName -> DFAConstructionSnippet,
 35 |         NFAConstructionTypeName -> NFAProblemSnippet,
 36 |         NFAToDFATypeName -> NFAToDFAProblemSnippet,
 37 |         EnglishToRegExTypeName -> RegExConstructionSnippet
 38 |         ) ++
 39 |         (if(Config.buchiGameSolving.enabled.get) { Map(BuchiSolvingTypeName -> BuchiGameSolving.SnippetAdapter) } else { Map[String, ProblemSnippet]() })
 40 | 	
 41 | 	protected object problemTypeName extends MappedString(this, 200)
 42 | 	
 43 | 	def getProblemTypeName = this.problemTypeName.is
 44 | 	def setProblemTypeName(problemTypeName : String) = this.problemTypeName(problemTypeName)
 45 |   
 46 | 	def getProblemSnippet() : ProblemSnippet = knownProblemTypes(this.problemTypeName.is)
 47 | 	
 48 | 	def getSpecificProblem(generalProblem: Problem): SpecificProblem[_] = this.problemTypeName.get match {
 49 | 	  case DFAConstructionTypeName => DFAConstructionProblem.findByGeneralProblem(generalProblem)
 50 | 	  case NFAConstructionTypeName => NFAConstructionProblem.findByGeneralProblem(generalProblem)
 51 | 	  case NFAToDFATypeName => NFAToDFAProblem.findByGeneralProblem(generalProblem)
 52 | 	  case EnglishToRegExTypeName => RegExConstructionProblem.findByGeneralProblem(generalProblem)
 53 | 	}
 54 | }
 55 | 
 56 | object ProblemType extends ProblemType with LongKeyedMetaMapper[ProblemType] with StartupHook {
 57 | 
 58 |   def onStartup = knownProblemTypes.map(entry => assertExists(entry._1))
 59 |   
 60 |   def assertExists(typeName : String) : Unit = if (!exists(typeName)) { ProblemType.create.problemTypeName(typeName).save }
 61 |   def exists (typeName : String) : Boolean = !findAll(By(ProblemType.problemTypeName, typeName)).isEmpty
 62 | }
 63 | 
 64 | class Problem extends LongKeyedMapper[Problem] with IdPK {
 65 | 	def getSingleton = Problem
 66 | 
 67 | 	protected object problemType extends MappedLongForeignKey(this, ProblemType)
 68 | 	protected object visibility extends MappedLong(this)
 69 | 	protected object createdBy extends MappedLongForeignKey(this, User)
 70 | 	protected object shortDescription extends MappedText(this)
 71 | 	protected object longDescription extends MappedText(this)
 72 | 	
 73 | 	def getProblemType = this.problemType.obj openOrThrowException "Every Problem must have a ProblemType"
 74 | 	def setProblemType(problemType : ProblemType) = this.problemType(problemType)
 75 | 	
 76 | 	def getTypeName() : String = (problemType.obj.map(_.getProblemTypeName)) openOr ""
 77 | 	
 78 | 	def isPublic = this.visibility.is == 0
 79 | 	def isPrivate = this.visibility.is == 1
 80 | 	
 81 | 	def makePublic = this.visibility(0)
 82 | 	def makePrivate = this.visibility(1)
 83 | 	
 84 | 	def toggleVisibility = if(this.isPublic) { makePrivate } else { makePublic }
 85 | 	
 86 | 	def getCreator : User = this.createdBy.obj openOrThrowException "Every Problem must have a CreatedBy"
 87 | 	def setCreator( creator : User ) = this.createdBy(creator)
 88 | 	
 89 | 	def getShortDescription = this.shortDescription.is
 90 | 	def setShortDescription( description : String ) = this.shortDescription(description)
 91 | 	
 92 | 	def getLongDescription = this.longDescription.is
 93 | 	def setLongDescription( description : String ) = this.longDescription(description)
 94 | 	
 95 | 	def isPosed : Boolean = PosedProblem.existsForProblem(this)
 96 | 	
 97 | 	def canBeDeleted : Boolean = return !(this.isPosed || this.isPublic)
 98 | 	def getDeletePreventers : Seq[String] = {
 99 | 	  return (if(this.isPosed) { List("Problem is posed in some problem set")} else { List() }) ++ (if(this.isPublic) { List("Problem is public") } else { List() })
100 | 	}
101 | 	override def delete_! : Boolean = if(!this.canBeDeleted) { return false } else { 	  
102 | 	  return super.delete_! 	  
103 | 	}
104 | 	
105 | 	def shareWithUserByEmail(email: String) : Boolean = {
106 | 	  val otherUser = User.findByEmail(email) match {
107 | 	    case Full(user) => user
108 | 	    case _ => return false
109 | 	  }
110 | 	  
111 | 	  val copiedGeneralProblem = new Problem
112 | 	  copiedGeneralProblem.problemType(this.problemType.get)
113 | 	  copiedGeneralProblem.makePrivate
114 | 	  copiedGeneralProblem.createdBy(otherUser)
115 | 	  copiedGeneralProblem.shortDescription(this.shortDescription.get)
116 | 	  copiedGeneralProblem.longDescription(this.longDescription.get)
117 | 	  copiedGeneralProblem.save()
118 | 	  
119 | 	  val copiedSpecificProblem: SpecificProblem[_] = this.problemType.obj.openOrThrowException("Every problem must have an associated type").getSpecificProblem(this).copy()
120 | 	  copiedSpecificProblem.setGeneralProblem(copiedGeneralProblem)
121 | 	  copiedSpecificProblem.save()
122 | 	  
123 | 	  return true
124 | 	}
125 | }
126 | 
127 | object Problem extends Problem with LongKeyedMetaMapper[Problem] {
128 |   def findAllByCreator(creator : User) : List[Problem] = findAll(By(Problem.createdBy, creator))
129 |   def findPublicProblems : List[Problem] = findAll(By(Problem.visibility, 0))
130 | }
131 | 
132 | abstract trait SpecificProblem[T] {
133 |   /// Does not save the modified problem. Caller has to do that manually by calling save()
134 |   def setGeneralProblem(newProblem: Problem) : T
135 |   def save(): Boolean
136 |   def copy(): SpecificProblem[T]
137 | }


--------------------------------------------------------------------------------
/src/main/scala/com/automatatutor/model/ProblemSet.scala:
--------------------------------------------------------------------------------
  1 | package com.automatatutor.model
  2 | 
  3 | import net.liftweb.mapper._
  4 | import net.liftweb.common.Full
  5 | import net.liftweb.common.Empty
  6 | import net.liftweb.common.Box
  7 | 
  8 | class ProblemSet extends LongKeyedMapper[ProblemSet] with IdPK {
  9 | 	def getSingleton = ProblemSet
 10 | 
 11 | 	protected object posedProblem extends MappedLongForeignKey(this, PosedProblem)
 12 | 	protected object createdBy extends MappedLongForeignKey(this, User)
 13 | 	protected object name extends MappedString(this, 100)
 14 | 	protected object practiceSet extends MappedBoolean(this)
 15 | 	
 16 | 	def getPosedProblem : Box[PosedProblem] = this.posedProblem.obj
 17 | 	def setPosedProblem ( posedProblem : PosedProblem ) = this.posedProblem(posedProblem)
 18 | 	def setPosedProblem ( posedProblem : Box[PosedProblem] ) = this.posedProblem(posedProblem)
 19 | 	
 20 | 	def getCreatedBy = this.createdBy.obj openOrThrowException "Every ProblemSet must have a CreatedBy"
 21 | 	def setCreatedBy ( user : User ) = this.createdBy(user)
 22 | 	
 23 | 	def getName : String = this.name.is
 24 | 	def setName ( name : String ) = this.name(name)
 25 | 
 26 | 	def getPracticeSet : Boolean = this.practiceSet.is
 27 | 	def setPracticeSet ( practiceSet : Boolean ) = this.practiceSet(practiceSet)
 28 | 	
 29 | 	def deleteWithProblems = {
 30 | 	  //Remove the containing posed problem set
 31 | 	  for (posedProbSet <- PosedProblemSet.findByProblemSet(this))
 32 | 	    posedProbSet.getCourse.removePosedProblemSet(posedProbSet)	  
 33 | 	  
 34 | 	  // Make sure that we also delete the posed problems from the database
 35 | 	  this.posedProblem.obj match {
 36 | 	    case Full(problem) => problem.deleteRecursively // This will recursively remove all the posed problems
 37 | 	    case _ => {} // We do not need to remove anything
 38 | 	  }
 39 | 	  this.delete_!
 40 | 	}
 41 | 	
 42 | 	def getPosedProblems : Seq[PosedProblem] = {
 43 | 	  this.posedProblem.obj match {
 44 | 	    case Full(problem) => problem.getListRecursively
 45 | 	    case _ => List()
 46 | 	  }
 47 | 	}
 48 | 	
 49 | 	def getPosedProblemsInOrder ( inRandomOrder : Boolean, seed : Int ) : Seq[PosedProblem] = {
 50 | 		var posedProbList = getPosedProblems
 51 | 		if (!inRandomOrder){	  
 52 | 			return posedProbList;
 53 | 		}
 54 | 		var length = posedProbList.length	  
 55 | 		val random = new scala.util.Random(seed)
 56 | 		var randomList = List[PosedProblem]()
 57 | 		var curLength = 0;
 58 | 		for ( curLength <- (1 to length).reverse){
 59 | 			var ind =random.nextInt(curLength)
 60 | 			var nextEl = posedProbList(ind)			
 61 | 			posedProbList= posedProbList.filter(!_.equals(nextEl))
 62 | 			randomList = nextEl :: randomList 
 63 | 		}
 64 | 		return randomList
 65 | 		
 66 | 	}
 67 | 	
 68 | 	
 69 | 	
 70 | 	def getNumberOfProblems : Int = this.getPosedProblems.size
 71 | 	
 72 | 	def removeProblem( toRemove : PosedProblem ) = {
 73 | 	  this.getPosedProblems.filter { _.equals(toRemove) }.map { _.delete_! }
 74 | 	}
 75 | 	
 76 | 	def appendProblem( problem : Problem, numberOfAttempts : Int, maxGrade : Int ) = {
 77 | 	  val newPosedProblem = PosedProblem.create.setProblem(problem).setAllowedAttempts(numberOfAttempts).setMaxGrade(maxGrade)
 78 | 	  newPosedProblem.save
 79 | 	  this.posedProblem.obj match {
 80 | 	    case Full(problem) => problem.appendProblemRecursively(newPosedProblem)
 81 | 	    case _ => this.posedProblem(newPosedProblem).save
 82 | 	  }
 83 | 	}
 84 | 	
 85 | 	def makePracticeSet = { this.practiceSet(true).save }
 86 | 	def makeNonPracticeSet = { this.practiceSet(false).save }
 87 | 	def isPracticeSet = { this.practiceSet.is }
 88 | 	def isNonPracticeSet = { !this.practiceSet.is }
 89 | 	def togglePracticeSet = { if (this.practiceSet.is) this.makeNonPracticeSet else this.makePracticeSet }
 90 | 	
 91 | 	def isPosed : Boolean = PosedProblemSet.existsForProblemSet(this)
 92 | 	
 93 | 	def canBeEdited : Boolean = !this.isPosed
 94 | 	def getEditPreventers : Seq[String] = if(this.isPosed) { List("Problem set is posed in some course") } else { List() }
 95 | 	
 96 | 	def canBeDeleted : Boolean = !(this.isPosed || this.isPracticeSet)
 97 | 	def getDeletePreventers : Seq[String] = (if(this.isPosed) { List("Problem set is posed in some course") } else { List() }) ++ (if(this.isPracticeSet) { List("Problem set is practice set") } else { List() })
 98 | 	override def delete_! : Boolean = if(!this.canBeDeleted) { return false } else { return super.delete_! }
 99 | }
100 | 
101 | object ProblemSet extends ProblemSet with LongKeyedMetaMapper[ProblemSet] {
102 | 	def getByCreator( creator : User ) : Seq[ProblemSet] = findAll(By(ProblemSet.createdBy, creator))
103 | 	def getPracticeSets : Seq[ProblemSet] = findAll(By(ProblemSet.practiceSet, true))
104 | 	
105 | 	def findByFirstPosedProblem ( posedProblem : PosedProblem ) = find(By(ProblemSet.posedProblem, posedProblem))
106 | }
107 | 


--------------------------------------------------------------------------------
/src/main/scala/com/automatatutor/model/PumpingLemmaProblem.scala:
--------------------------------------------------------------------------------
 1 | package com.automatatutor.model
 2 | 
 3 | import net.liftweb.mapper.MappedString
 4 | import net.liftweb.mapper.LongKeyedMapper
 5 | import net.liftweb.mapper.LongKeyedMetaMapper
 6 | import net.liftweb.mapper.MappedLongForeignKey
 7 | import net.liftweb.mapper.IdPK
 8 | import net.liftweb.mapper.By
 9 | import net.liftweb.mapper.MappedText
10 | import scala.xml.XML
11 | import scala.xml.NodeSeq
12 | 
13 | class PumpingLemmaProblem extends LongKeyedMapper[PumpingLemmaProblem] with IdPK with SpecificProblem[PumpingLemmaProblem] {
14 | 	def getSingleton = PumpingLemmaProblem
15 | 
16 | 	object problemId extends MappedLongForeignKey(this, Problem)
17 | 	object language extends MappedText(this)
18 | 	object constraint extends MappedText(this)	
19 | 	object alphabet extends MappedText(this)
20 | 	object pumpingString extends MappedText(this)
21 | 	
22 | 	def getAlphabet : Seq[String] = this.alphabet.is.split(" ")
23 | 
24 | 	override def copy(): PumpingLemmaProblem = {
25 | 	  val retVal = new PumpingLemmaProblem
26 | 	  retVal.problemId(this.problemId.get)
27 | 	  retVal.language(this.language.get)
28 | 	  retVal.constraint(this.constraint.get)
29 | 	  retVal.alphabet(this.alphabet.get)
30 | 	  retVal.pumpingString(this.pumpingString.get)
31 | 	  return retVal
32 | 	}
33 | 	
34 | 	override def setGeneralProblem(newProblem: Problem) = this.problemId(newProblem)
35 | }
36 | 
37 | object PumpingLemmaProblem extends PumpingLemmaProblem with LongKeyedMetaMapper[PumpingLemmaProblem] {
38 | 	def findByGeneralProblem(generalProblem : Problem) : PumpingLemmaProblem =
39 | 	  find(By(PumpingLemmaProblem.problemId, generalProblem)) openOrThrowException("Must only be called if we are sure that generalProblem is a PumpingLemmaProblem")
40 | }


--------------------------------------------------------------------------------
/src/main/scala/com/automatatutor/model/RegExConstructionProblem.scala:
--------------------------------------------------------------------------------
 1 | package com.automatatutor.model
 2 | 
 3 | import net.liftweb.mapper.MappedString
 4 | import net.liftweb.mapper.LongKeyedMapper
 5 | import net.liftweb.mapper.LongKeyedMetaMapper
 6 | import net.liftweb.mapper.MappedLongForeignKey
 7 | import net.liftweb.mapper.IdPK
 8 | import net.liftweb.mapper.By
 9 | import net.liftweb.mapper.MappedText
10 | import scala.xml.XML
11 | import scala.xml.NodeSeq
12 | 
13 | class RegExConstructionProblem extends LongKeyedMapper[RegExConstructionProblem] with IdPK with SpecificProblem[RegExConstructionProblem] {
14 | 	def getSingleton = RegExConstructionProblem
15 | 
16 | 	object problemId extends MappedLongForeignKey(this, Problem)
17 | 	object regEx extends MappedText(this)
18 | 	object alphabet extends MappedText(this)
19 | 	
20 | 	def getAlphabet = this.alphabet.is
21 | 	def getRegex = this.regEx.is
22 | 	
23 | 	def setRegex(regEx : String) = this.regEx(regEx)
24 | 	def setAlphabet(alphabet : String) = this.alphabet(alphabet)
25 | 
26 | 	override def copy(): RegExConstructionProblem = {
27 | 	  val retVal = new RegExConstructionProblem
28 | 	  retVal.problemId(this.problemId.get)
29 | 	  retVal.regEx(this.regEx.get)
30 | 	  retVal.alphabet(this.alphabet.get)
31 | 	  return retVal
32 | 	}
33 | 	
34 | 	override def setGeneralProblem(newProblem: Problem) = this.problemId(newProblem)
35 | 	
36 | }
37 | 
38 | object RegExConstructionProblem extends RegExConstructionProblem with LongKeyedMetaMapper[RegExConstructionProblem] {
39 | 	def findByGeneralProblem(generalProblem : Problem) : RegExConstructionProblem =
40 | 	  find(By(RegExConstructionProblem.problemId, generalProblem)) openOrThrowException("Must only be called if we are sure that generalProblem is a RegExConstructionProblem")
41 | }


--------------------------------------------------------------------------------
/src/main/scala/com/automatatutor/model/Role.scala:
--------------------------------------------------------------------------------
 1 | package com.automatatutor.model
 2 | 
 3 | import net.liftweb.mapper._
 4 | 
 5 | class Role extends LongKeyedMapper[Role] with IdPK {
 6 | 	def getSingleton = Role
 7 | 
 8 | 	object roleId extends MappedLong(this)
 9 | 	object userId extends MappedLongForeignKey(this, User)
10 | 	
11 | 	def isStudentRole() = this.roleId.is == 1
12 | 	def isInstructorRole() = this.roleId.is == 2
13 | 	def isAdminRole() = this.roleId.is == 3
14 | 	
15 | 	override def toString() =
16 |         this.roleId.is match {
17 |           case 1 => "Student"
18 |           case 2 => "Instructor"
19 |           case 3 => "Admin"
20 |         }
21 | }
22 | 
23 | object Role extends Role with LongKeyedMetaMapper[Role] {
24 | 	def createStudentRoleFor(user : User) : Boolean = this.create.roleId(1).userId(user).save
25 | 	def createInstructorRoleFor(user : User) : Boolean = this.create.roleId(2).userId(user).save
26 | 	def createAdminRoleFor(user : User) : Boolean = this.create.roleId(3).userId(user).save
27 | }
28 | 


--------------------------------------------------------------------------------
/src/main/scala/com/automatatutor/model/SolutionAttempt.scala:
--------------------------------------------------------------------------------
 1 | package com.automatatutor.model
 2 | 
 3 | import net.liftweb.mapper._
 4 | import net.liftweb.common.Box
 5 | import net.liftweb.common.Empty
 6 | import net.liftweb.common.Full
 7 | 
 8 | class SolutionAttempt extends LongKeyedMapper[SolutionAttempt] with IdPK {
 9 | 	def getSingleton = SolutionAttempt
10 | 
11 | 	object dateTime extends MappedDateTime(this)
12 | 	object userId extends MappedLongForeignKey(this, User)
13 | 	object posedProblemSetId extends MappedLongForeignKey(this, PosedProblemSet)
14 | 	object posedProblemId extends MappedLongForeignKey(this, PosedProblem)
15 | 	object grade extends MappedInt(this)
16 | }
17 | 
18 | object SolutionAttempt extends SolutionAttempt with LongKeyedMetaMapper[SolutionAttempt] {
19 | 	def getLatestAttempt(user : User, posedProblemSet : PosedProblemSet, posedProblem : PosedProblem) : Box[SolutionAttempt] = {
20 | 	  val allAttempts = this.findAll(By(SolutionAttempt.userId, user), By(SolutionAttempt.posedProblemSetId, posedProblemSet), By(SolutionAttempt.posedProblemId, posedProblem))
21 | 	  return if (allAttempts.isEmpty) { Empty } else { Full(allAttempts.maxBy(attempt => attempt.dateTime.is.getTime())) }
22 | 	}
23 | }
24 | 
25 | class DFAConstructionSolutionAttempt extends LongKeyedMapper[DFAConstructionSolutionAttempt] with IdPK {
26 | 	def getSingleton = DFAConstructionSolutionAttempt
27 | 
28 | 	object solutionAttemptId extends MappedLongForeignKey(this, SolutionAttempt)
29 | 	object attemptAutomaton extends MappedText(this)
30 | }
31 | 
32 | object DFAConstructionSolutionAttempt extends DFAConstructionSolutionAttempt with LongKeyedMetaMapper[DFAConstructionSolutionAttempt] {
33 | 	def getByGeneralAttempt ( generalAttempt : SolutionAttempt ) : DFAConstructionSolutionAttempt = {
34 | 	  return this.find(By(DFAConstructionSolutionAttempt.solutionAttemptId, generalAttempt)) openOrThrowException "Must only be called if we are sure that the general attempt also has a DFA construction attempt"
35 | 	}
36 | }
37 | 
38 | class NFAConstructionSolutionAttempt extends LongKeyedMapper[NFAConstructionSolutionAttempt] with IdPK {
39 | 	def getSingleton = NFAConstructionSolutionAttempt
40 | 
41 | 	object solutionAttemptId extends MappedLongForeignKey(this, SolutionAttempt)
42 | 	object attemptAutomaton extends MappedText(this)
43 | }
44 | 
45 | object NFAConstructionSolutionAttempt extends NFAConstructionSolutionAttempt with LongKeyedMetaMapper[NFAConstructionSolutionAttempt] {
46 | 
47 | }
48 | 
49 | class NFAToDFASolutionAttempt extends LongKeyedMapper[NFAToDFASolutionAttempt] with IdPK {
50 | 	def getSingleton = NFAToDFASolutionAttempt
51 | 
52 | 	object solutionAttemptId extends MappedLongForeignKey(this, SolutionAttempt)
53 | 	object attemptAutomaton extends MappedText(this)
54 | }
55 | 
56 | object NFAToDFASolutionAttempt extends NFAToDFASolutionAttempt with LongKeyedMetaMapper[NFAToDFASolutionAttempt] {
57 | 
58 | }
59 | 
60 | class RegexConstructionSolutionAttempt extends LongKeyedMapper[RegexConstructionSolutionAttempt] with IdPK {
61 | 	def getSingleton = RegexConstructionSolutionAttempt
62 | 
63 | 	object solutionAttemptId extends MappedLongForeignKey(this, SolutionAttempt)
64 | 	object attemptRegex extends MappedText(this)
65 | }
66 | 
67 | object RegexConstructionSolutionAttempt extends RegexConstructionSolutionAttempt with LongKeyedMetaMapper[RegexConstructionSolutionAttempt] {
68 | 
69 | }
70 | 
71 | class PumpingLemmaSolutionAttempt extends LongKeyedMapper[PumpingLemmaSolutionAttempt] with IdPK {
72 | 	def getSingleton = PumpingLemmaSolutionAttempt
73 | 
74 | 	object solutionAttemptId extends MappedLongForeignKey(this, SolutionAttempt)
75 | 	object attemptPL extends MappedText(this)
76 | }
77 | 
78 | object PumpingLemmaSolutionAttempt extends PumpingLemmaSolutionAttempt with LongKeyedMetaMapper[PumpingLemmaSolutionAttempt] {
79 | 
80 | }


--------------------------------------------------------------------------------
/src/main/scala/com/automatatutor/model/User.scala:
--------------------------------------------------------------------------------
  1 | package com.automatatutor.model
  2 | 
  3 | import net.liftweb.mapper._
  4 | import net.liftweb.common.{Full,Box}
  5 | import net.liftweb.http.SessionVar
  6 | import net.liftweb.util.StringHelpers
  7 | import net.liftweb.util.Mailer
  8 | import net.liftweb.common.Empty
  9 | import net.liftweb.util.FieldError
 10 | import scala.xml.Text
 11 | import net.liftweb.util.Mailer
 12 | import javax.mail.{Authenticator,PasswordAuthentication}
 13 | import bootstrap.liftweb.StartupHook
 14 | import com.automatatutor.lib.Config
 15 | 
 16 | class User extends MegaProtoUser[User] {	
 17 | 
 18 | 	override def getSingleton = User
 19 | 	
 20 | 	def hasStudentRole = Role.findAll(By(Role.userId, this)).exists(role => role.isStudentRole)
 21 | 	def hasInstructorRole = Role.findAll(By(Role.userId, this)).exists(role => role.isInstructorRole)
 22 | 	def hasAdminRole = Role.findAll(By(Role.userId, this)).exists(role => role.isAdminRole)
 23 | 	
 24 | 	def addStudentRole = Role.createStudentRoleFor(this)
 25 | 	def addInstructorRole = Role.createInstructorRoleFor(this)
 26 | 	def addAdminRole = Role.createAdminRoleFor(this)
 27 | 	
 28 | 	def removeStudentRole = Role.findAll(By(Role.userId, this)).filter(_.isStudentRole).map(_.delete_!)
 29 | 	def removeInstructorRole = Role.findAll(By(Role.userId, this)).filter(_.isInstructorRole).map(_.delete_!)
 30 | 	def removeAdminRole = Role.findAll(By(Role.userId, this)).filter(_.isAdminRole).map(_.delete_!)
 31 | 	
 32 | 	def supervisesCourses : Boolean = !Supervision.findByInstructor(this).isEmpty
 33 | 	def getSupervisedCourses : Seq[Course] = Supervision.findByInstructor(this).map(_.getCourse)
 34 | 	
 35 | 	def attendsCourses : Boolean = !Attendance.findAllByUser(this).isEmpty
 36 | 	def getAttendedCourses : List[Course] = Attendance.findAllByUser(this).map(_.getCourse.openOrThrowException("User should not attend inexistent courses"))
 37 | 	
 38 | 	def canBeDeleted : Boolean = !(attendsCourses || supervisesCourses || hasAdminRole)
 39 | 	def getDeletePreventers : Seq[String] = {
 40 | 	  val attendancePreventers : Seq[String] = if (this.attendsCourses) List("User still attends courses") else List()
 41 | 	  val supervisionPreventers : Seq[String] = if (this.supervisesCourses) List("User still supervises courses") else List()
 42 | 	  val adminPreventers : Seq[String] = if (this.hasAdminRole) List("User is Admin") else List()
 43 | 	  val preventers = attendancePreventers ++ supervisionPreventers ++ adminPreventers
 44 | 	  return preventers
 45 | 	}
 46 | 
 47 | 	override def delete_! : Boolean = {
 48 | 	  if (!canBeDeleted) {
 49 | 	    return false;
 50 | 	  } else {
 51 | 	    return super.delete_!
 52 | 	  }
 53 | 	}
 54 | 	
 55 | 	override def validate = (this.validateFirstName) ++ (this.validateLastName) ++ (super.validate)
 56 | 	
 57 | 	private def validateFirstName : List[FieldError] = {
 58 | 	  if (this.firstName == null || this.firstName.is.isEmpty()) {
 59 | 	    return List[FieldError](new FieldError(this.firstName, Text("First name must be set")))
 60 | 	  } else {
 61 | 	    return List[FieldError]()
 62 | 	  }
 63 | 	}
 64 | 	
 65 | 	private def validateLastName : List[FieldError] = {
 66 | 	  if (this.lastName == null || this.lastName.is.isEmpty()) {
 67 | 	    return List[FieldError](new FieldError(this.lastName, Text("Last name must be set")))
 68 | 	  } else {
 69 | 	    return List[FieldError]()
 70 | 	  }
 71 | 	}
 72 | }
 73 | 
 74 | object User extends User with MetaMegaProtoUser[User] with StartupHook {
 75 | 	// Don't send out emails to users after registration. Remember to set this to false before we go into production
 76 | 	override def skipEmailValidation = false
 77 | 	
 78 | 	// this overridse the noreply@... address that is set by default right now
 79 | 	// for this to work the correct properties must
 80 | 	//Mailer.authenticator.map(_.user) openOr 
 81 | 	override def emailFrom = Config.mail.from.get
 82 | 	
 83 | 	// Display the standard template around the User-defined pages
 84 | 	override def screenWrap = Full(<lift:surround with="default" at="content"><lift:bind /></lift:surround>)
 85 | 
 86 | 	// Only query given name, family name, email address and password on signup
 87 | 	override def signupFields = List(firstName, lastName, email, password)
 88 | 
 89 | 	// Only display given name, family name and email address for editing
 90 | 	override def editFields = List(firstName, lastName)
 91 | 	
 92 | 	override def afterCreate = List(
 93 | 		(user : User) => { user.addStudentRole },
 94 | 		(user : User) => { Attendance.finalizePreliminaryEnrollments(user) }
 95 | 	)
 96 | 	
 97 | 	def onStartup = {
 98 | 	  val adminEmail = Config.admin.email.get
 99 | 	  val adminPassword = Config.admin.password.get
100 | 	  val adminFirstName = Config.admin.firstname.get
101 | 	  val adminLastName = Config.admin.lastname.get
102 | 	  
103 | 	  /* Delete all existing admin accounts, in case there are any leftover from
104 | 	   * previous runs */
105 | 	  val adminAccounts = User.findAll(By(User.email, adminEmail))
106 | 	 
107 | 	  //User.bulkDelete_!!(By(User.email, adminEmail))
108 | 	  
109 | 	  // Create new admin only if the user in the config does not exists	  
110 | 	  if (adminAccounts.isEmpty){
111 | 		  val adminUser = User.create
112 | 		  adminUser.firstName(adminFirstName).lastName(adminLastName).email(adminEmail).password(adminPassword).validated(true).save
113 | 		  adminUser.addAdminRole
114 | 		  adminUser.addInstructorRole
115 | 	  } else {
116 | 		  // otherwise just change the password for his account to the one in the config
117 | 		  var user = adminAccounts.head
118 | 		  var passwordList = List(adminPassword,adminPassword)
119 | 		  passwordList
120 | 		  user.setPasswordFromListString(passwordList)
121 | 		  user.save
122 | 	  }
123 | 	}
124 | 
125 | 	def findByEmail(email : String) : Box[User] = {
126 | 	  val users = User.findAll(By(User.email, email))
127 | 	  if(users.size == 1) {
128 | 	    return Full(users.head)
129 | 	  } else {
130 | 	    return Empty
131 | 	  }
132 | 	}
133 | 	
134 | 	def currentUser_! : User = {
135 | 	  this.currentUser openOrThrowException "This method may only be called if we are certain that a user is logged in"
136 | 	}	
137 | 	
138 | 	def currentUserIdInt : Int = {	  
139 | 	  this.currentUserId match { 	  
140 | 		case Full(myId) => myId.toInt;
141 | 		case _ => 0
142 | 		}
143 | 	}
144 | }
145 | 


--------------------------------------------------------------------------------
/src/main/scala/com/automatatutor/renderer/CourseRenderer.scala:
--------------------------------------------------------------------------------
 1 | package com.automatatutor.renderer
 2 | 
 3 | import scala.xml.NodeSeq
 4 | import scala.xml.Text
 5 | import com.automatatutor.model.Course
 6 | import com.automatatutor.model.PosedProblemSet
 7 | import com.automatatutor.snippet.CourseReqVar
 8 | import net.liftweb.http.SHtml
 9 | import net.liftweb.http.SHtml.ElemAttr.pairToBasic
10 | import net.liftweb.http.js.JE.JsRaw
11 | import net.liftweb.http.js.JsCmd
12 | import net.liftweb.http.js.JsCmds
13 | import net.liftweb.http.js.JsCmds.jsExpToJsCmd
14 | import com.automatatutor.model.User
15 | 
16 | class CourseRenderer(course : Course) {
17 |   def renderShowLink : NodeSeq = {
18 |     return SHtml.link("/courses/show", () => CourseReqVar(course), Text("Show"))
19 |   }
20 |   
21 |   def renderContactLink : NodeSeq = {
22 |     SHtml.link("mailto:" + course.getContact, () => (), Text(course.getContact))
23 |   }
24 |   
25 |   def renderManageLink : NodeSeq = {
26 |       if(course.getInstructors.contains(User.currentUser openOr null)) {
27 |         SHtml.link("/courses/manage", () => CourseReqVar(course), Text("Manage course"))
28 |       } else {
29 |         NodeSeq.Empty
30 |       }
31 |   }
32 | 
33 |   def renderDeleteLink : NodeSeq = {
34 |     val target = "/courses/index"
35 |     def function() = course.delete_!
36 |     val label = if(course.canBeDeleted) { Text("Delete") } else { Text("Cannot delete course") }
37 |     val onclick : JsCmd = if(course.canBeDeleted) { 
38 |         JsRaw("return confirm('Are you sure you want to delete this course?')") 
39 |       } else  { 
40 |         JsCmds.Alert("Cannot delete this course:\n" + course.getDeletePreventers.mkString("\n")) & JsRaw("return false")
41 |       }
42 | 
43 |     return SHtml.link(target, function, label, "onclick" -> onclick.toJsCmd)
44 |   }
45 |   
46 |   def renderRemoveProblemSetLink(posedProblemSet : PosedProblemSet) : NodeSeq = {
47 |     val target = "/courses/manage"
48 |     def function() = { CourseReqVar(course); course.removePosedProblemSet(posedProblemSet) }
49 |     val label = if(posedProblemSet.canBeRemoved) { Text("Remove Problem Set") } else { Text("Cannot remove Problem Set") }
50 |     val onclick : JsCmd = if(posedProblemSet.canBeRemoved) {
51 |       JsRaw("return confirm('Are you sure you want to remove this problem set?')")
52 |     } else {
53 |       JsCmds.Alert("Cannot remove this problem set:\n" + posedProblemSet.getRemovePreventers.mkString("\n")) & JsRaw("return false")
54 |     }
55 |     
56 |     return SHtml.link(target, function, label, "onclick" -> onclick.toJsCmd)
57 |   }
58 | }


--------------------------------------------------------------------------------
/src/main/scala/com/automatatutor/renderer/ProblemRenderer.scala:
--------------------------------------------------------------------------------
 1 | package com.automatatutor.renderer
 2 | 
 3 | import scala.xml.NodeSeq
 4 | import scala.xml.Text
 5 | 
 6 | import com.automatatutor.model.Problem
 7 | import com.automatatutor.model.User
 8 | import com.automatatutor.snippet.chosenProblem
 9 | 
10 | import net.liftweb.common.Empty
11 | import net.liftweb.common.Full
12 | import net.liftweb.http.S
13 | import net.liftweb.http.SHtml
14 | import net.liftweb.http.js.JE.JsRaw
15 | import net.liftweb.http.js.JsCmd
16 | import net.liftweb.http.js.JsCmds
17 | import net.liftweb.http.js.JsCmds._
18 | 
19 | class ProblemRenderer(problem : Problem) {
20 |   def renderDeleteLink : NodeSeq = {
21 |     val target = "/problems/index"
22 |     def function() = { problem.getProblemType.getProblemSnippet().onDelete(problem); problem.delete_! }
23 |     val label = if(problem.canBeDeleted) { Text("Delete") } else { Text("Cannot delete Problem") }
24 |     val onclick : JsCmd = if(problem.canBeDeleted) { 
25 |         JsRaw("return confirm('Are you sure you want to delete this problem?')") 
26 |       } else  { 
27 |         JsCmds.Alert("Cannot delete this problem:\n" + problem.getDeletePreventers.mkString("\n")) & JsRaw("return false")
28 |       }
29 | 
30 |     return SHtml.link(target, function, label, "onclick" -> onclick.toJsCmd)
31 |   }
32 |   
33 |   def renderTogglePublicLink : NodeSeq = {
34 |     if(User.currentUser_!.hasAdminRole) {
35 |       val linkText = if(problem.isPublic) { Text("Make private") } else {Text("Make public")}
36 |       return SHtml.link("/problems/index", () => problem.toggleVisibility.save(), linkText)
37 |     } else {
38 |       return NodeSeq.Empty
39 |     }
40 |   }
41 |   
42 |   def renderSharingWidget : NodeSeq = {
43 |     def shareWithFeedback(email: String) = {
44 |       if (problem.shareWithUserByEmail(email)) { S.notice("Successfully shared with " + email) } 
45 |       else { S.error("Could not find user " + email) }
46 |     }
47 |     <form action="/problems/index"> { SHtml.text("", shareWithFeedback(_)) } <input type="submit" value="Share"/> </form>
48 |   }
49 |   
50 |   def renderEditLink : NodeSeq = {
51 |     problem.getProblemType.getProblemSnippet().renderEdit match {
52 |       case Full(_) => SHtml.link("/problems/edit", () => chosenProblem(problem), Text("Edit"))
53 |       case Empty => NodeSeq.Empty
54 |       case _ => S.error("Error when retrieving editing function"); S.redirectTo("/problems/index")
55 |     }
56 |   }
57 | }


--------------------------------------------------------------------------------
/src/main/scala/com/automatatutor/renderer/ProblemSetRenderer.scala:
--------------------------------------------------------------------------------
 1 | package com.automatatutor.renderer
 2 | 
 3 | import scala.xml.NodeSeq
 4 | import scala.xml.Text
 5 | 
 6 | import com.automatatutor.model.ProblemSet
 7 | import com.automatatutor.model.User
 8 | import com.automatatutor.snippet.ProblemSetToEdit
 9 | 
10 | import net.liftweb.http.SHtml
11 | import net.liftweb.http.SHtml.ElemAttr.pairToBasic
12 | import net.liftweb.http.js.JE.JsRaw
13 | import net.liftweb.http.js.JsCmd
14 | import net.liftweb.http.js.JsCmds
15 | import net.liftweb.http.js.JsCmds.jsExpToJsCmd
16 | 
17 | class ProblemSetRenderer(problemSet : ProblemSet) {
18 |   def renderEditLink : NodeSeq = {
19 |     val target = "/problemsets/edit"
20 |     def function() = ProblemSetToEdit(problemSet)
21 |     val label = if(problemSet.canBeEdited) { Text("Edit") } else { Text("Cannot edit Problem Set") }
22 |     val onclick : JsCmd = if(!problemSet.canBeEdited) { 
23 |         JsCmds.Alert("Cannot edit this problem set:\n" + problemSet.getEditPreventers.mkString("\n")) & JsRaw("return false")
24 |       } else  { 
25 |         JsCmds.Noop
26 |       }
27 | 
28 |     return SHtml.link(target, function, label, "onclick" -> onclick.toJsCmd)
29 |   }
30 | 
31 |   def renderDeleteLink : NodeSeq = {
32 |     val target = "/problemsets/index"
33 |     def function() = problemSet.delete_!
34 |     val label = if(problemSet.canBeDeleted) { Text("Delete") } else { Text("Cannot delete Problem Set") }
35 |     val onclick : JsCmd = if(problemSet.canBeDeleted) { 
36 |         JsRaw("return confirm('Are you sure you want to delete this problem set?')") 
37 |       } else  { 
38 |         JsCmds.Alert("Cannot delete this problem set:\n" + problemSet.getDeletePreventers.mkString("\n")) & JsRaw("return false")
39 |       }
40 | 
41 |     return SHtml.link(target, function, label, "onclick" -> onclick.toJsCmd)
42 |   }
43 |   
44 |   def renderTogglePracticeSetLink : NodeSeq = {
45 |     if(User.currentUser_!.hasAdminRole) {
46 |       val linkText = if(problemSet.isPracticeSet) { "Make Nonpractice Set" } else { "Make Practice Set" }
47 |       return SHtml.link("/problemsets/index", () => problemSet.togglePracticeSet, Text(linkText))
48 |     } else {
49 |       return NodeSeq.Empty
50 |     }
51 |   }
52 | }
53 | 


--------------------------------------------------------------------------------
/src/main/scala/com/automatatutor/renderer/UserRenderer.scala:
--------------------------------------------------------------------------------
 1 | package com.automatatutor.renderer
 2 | 
 3 | import net.liftweb.http.js.JE.JsRaw
 4 | import net.liftweb.http.js.JsCmd
 5 | import net.liftweb.http.SHtml
 6 | import scala.xml.NodeSeq
 7 | import net.liftweb.http.js.JsCmds
 8 | import net.liftweb.http.js.JsCmds._
 9 | import scala.xml.Text
10 | import com.automatatutor.model.User
11 | 
12 | class UserRenderer(user : User) {
13 |   
14 |   def renderDeleteLink : NodeSeq = {
15 |     val target = "/users/index"
16 |     def function() = user.delete_!
17 |     val label = if(user.canBeDeleted) { Text("Delete") } else { Text("Cannot delete user") }
18 |     val onclick : JsCmd = if(user.canBeDeleted) { 
19 |         JsRaw("return confirm('Are you sure you want to delete this user?')") 
20 |       } else  { 
21 |         JsCmds.Alert("Cannot delete this user:\n" + user.getDeletePreventers.mkString("\n")) & JsRaw("return false")
22 |       }
23 | 
24 |     return SHtml.link(target, function, label, "onclick" -> onclick.toJsCmd)
25 |   }
26 | 
27 | }


--------------------------------------------------------------------------------
/src/main/scala/com/automatatutor/snippet/Identity.scala:
--------------------------------------------------------------------------------
1 | package com.automatatutor.snippet
2 | 
3 | import scala.xml.NodeSeq
4 | 
5 | class Identity {
6 | 	def render ( xhtml : NodeSeq ) : NodeSeq = xhtml
7 | }


--------------------------------------------------------------------------------
/src/main/scala/com/automatatutor/snippet/PracticeSets.scala:
--------------------------------------------------------------------------------
 1 | package com.automatatutor.snippet
 2 | 
 3 | import scala.xml.NodeSeq
 4 | import scala.xml.Text
 5 | 
 6 | import com.automatatutor.lib.TableHelper
 7 | import com.automatatutor.model.PosedProblem
 8 | import com.automatatutor.model.ProblemSet
 9 | 
10 | import net.liftweb.http.SHtml
11 | 
12 | class Practicesets {
13 |   
14 |   def renderindex ( ignored : NodeSeq ) : NodeSeq = {
15 |     val practiceSets = ProblemSet.getPracticeSets
16 |     val practiceSetsNodeSeq = {
17 |         val practiceSetsTable = TableHelper.renderTableWithHeader(practiceSets,
18 |             ("Name", (problemSet : ProblemSet) => Text(problemSet.getName)),
19 |             ("Problems", (problemSet : ProblemSet) => Text(problemSet.getPosedProblems.size.toString)))
20 |             
21 | 
22 |         val problemSetsHeaderRow = (practiceSetsTable \ "tr").head
23 |         val problemSetsDataRows : NodeSeq = (practiceSetsTable \ "tr").tail
24 |         val problemSetsWithRows = practiceSets.zip(problemSetsDataRows)
25 |         val problemSetsWithProblemsRows = problemSetsWithRows.flatMap(tuple => {
26 |         	val practiceSet = tuple._1
27 |         	val practiceSetRow = tuple._2
28 |         	val problemsTable : NodeSeq = renderSolvePracticeSetNoHeader(practiceSet)
29 |         	practiceSetRow ++ <tr> <td colspan="4"> { problemsTable } </td> </tr>
30 |         })
31 | 
32 |         <table> { problemSetsHeaderRow } { problemSetsWithProblemsRows } </table>
33 |     }
34 |     
35 |     return practiceSetsNodeSeq
36 |   }
37 | 
38 |  private def renderSolvePracticeSetNoHeader( practiceSet : ProblemSet ) : NodeSeq = {
39 |     val posedProblems = practiceSet.getPosedProblems
40 |     
41 |     return TableHelper.renderTable(posedProblems, 
42 |         (posedProblem : PosedProblem) => Text(posedProblem.getProblem.getShortDescription),
43 |         (posedProblem : PosedProblem) => Text(posedProblem.getProblem.getTypeName),
44 |         (posedProblem : PosedProblem) => SHtml.link("/practicesets/solve", () => { PosedProblemReqVar(posedProblem) }, Text("solve")))
45 |   }  
46 | 
47 | }


--------------------------------------------------------------------------------
/src/main/scala/com/automatatutor/snippet/ProblemSets.scala:
--------------------------------------------------------------------------------
  1 | package com.automatatutor.snippet
  2 | 
  3 | import scala.xml.NodeSeq
  4 | import scala.xml.Text
  5 | import com.automatatutor.lib.TableHelper
  6 | import com.automatatutor.model.PosedProblem
  7 | import com.automatatutor.model.Problem
  8 | import com.automatatutor.model.ProblemSet
  9 | import com.automatatutor.model.User
 10 | import com.automatatutor.renderer.ProblemSetRenderer
 11 | import net.liftweb.http.RequestVar
 12 | import net.liftweb.http.S
 13 | import net.liftweb.http.SHtml
 14 | import net.liftweb.util.Helpers
 15 | import net.liftweb.util.Helpers._
 16 | import com.automatatutor.lib.Binding
 17 | import com.automatatutor.lib.Renderer
 18 | import com.automatatutor.lib.Binder
 19 | import com.automatatutor.lib.DataRenderer
 20 | 
 21 | 
 22 | object ProblemSetToEdit extends RequestVar[ProblemSet](null)
 23 | object ProblemToPose extends RequestVar[Problem](null)
 24 | 
 25 | class Problemsets {
 26 | 	def renderindex ( template : NodeSeq ) : NodeSeq = {
 27 | 	  
 28 | 	  val problemSets : Seq[ProblemSet] = ProblemSet.getByCreator(User.currentUser openOrThrowException "Lift only lets logged in users onto this site")
 29 | 
 30 | 	  object problemSetRenderer extends DataRenderer(problemSets) {
 31 | 	    def render( template : NodeSeq, problemSet : ProblemSet ) : NodeSeq = {
 32 | 	      object nameRenderer extends Renderer { def render : NodeSeq = Text(problemSet.getName) }
 33 | 	      object togglePracticeSetLinkRenderer extends Renderer { def render : NodeSeq = new ProblemSetRenderer(problemSet).renderTogglePracticeSetLink }
 34 | 	      object editLinkRenderer extends Renderer { def render : NodeSeq = new ProblemSetRenderer(problemSet).renderEditLink }
 35 | 	      object deleteLinkRenderer extends Renderer { def render : NodeSeq = new ProblemSetRenderer(problemSet).renderDeleteLink }
 36 | 	      
 37 | 	      val nameBinding = new Binding("name", nameRenderer)
 38 | 	      val togglePracticeSetLinkBinding = new Binding("togglepracticesetlink", togglePracticeSetLinkRenderer)
 39 | 	      val editLinkBinding = new Binding("editlink", editLinkRenderer)
 40 | 	      val deleteLinkBinding = new Binding("deletelink", deleteLinkRenderer)
 41 | 	      
 42 | 	      return new Binder("problemset", nameBinding, togglePracticeSetLinkBinding, editLinkBinding, deleteLinkBinding).bind(template)
 43 | 	    }
 44 | 	  }
 45 | 	  
 46 | 	  Helpers.bind("problemsets", template,
 47 | 	    "foreach" -> { template : NodeSeq => problemSetRenderer.render(template) },
 48 | 	    "createnewlink" -> { template : NodeSeq => SHtml.link("/problemsets/create", () => {}, Text(template(0).text)) } )
 49 | 	}
 50 | 	
 51 | 	def rendercreate ( xhtml : NodeSeq ) : NodeSeq = {
 52 | 	  var name : String = ""
 53 | 	  
 54 | 	  def create() = {
 55 | 	    ProblemSet.create.setName(name).setCreatedBy(User.currentUser_!).save
 56 | 	  }
 57 | 	  
 58 | 	  object nameFieldRenderer extends Renderer { def render = {
 59 |       SHtml.text("", name = _, "maxlength" -> "50")
 60 | 	  } }
 61 | 	  object createButtonRenderer extends Renderer { def render = {
 62 | 	    SHtml.submit("Create", () => { create(); S.redirectTo("/problemsets/index") })
 63 | 	  } }
 64 | 	  val nameFieldBinding = new Binding("namefield", nameFieldRenderer)
 65 | 	  val createButtonBinding = new Binding("createbutton", createButtonRenderer)
 66 | 	  
 67 | 	  new Binder("problemsetcreate", nameFieldBinding, createButtonBinding).bind(xhtml)
 68 | 	}
 69 | 	
 70 | 	def renderedit ( xhtml : NodeSeq ) : NodeSeq = {
 71 | 	  val problemSetToEdit : ProblemSet = ProblemSetToEdit.is
 72 | 	  val posedProblems = problemSetToEdit.getPosedProblems
 73 | 	  
 74 | 	  val posedProblemsTable = TableHelper.renderTableWithHeader(posedProblems,
 75 | 	      ("Short Description", (posedProblem : PosedProblem) => Text(posedProblem.getProblem.getShortDescription)),
 76 | 	      ("Problem Type", (posedProblem : PosedProblem) => Text(posedProblem.getProblem.getTypeName)),
 77 | 	      ("Allowed Attempts", (posedProblem : PosedProblem) => Text(posedProblem.getAllowedAttempts.toString() + " Attempts allowed")),
 78 | 	      ("", (posedProblem : PosedProblem) => SHtml.link( "/problemsets/index", () => { problemSetToEdit.removeProblem(posedProblem) }, Text("Remove problem from set")
 79 | 	          )
 80 | 	        )
 81 | 	      )
 82 | 	  
 83 | 	  val addProblemLink = SHtml.link("/problemsets/addproblem", () => ProblemSetToEdit(problemSetToEdit), Text("Append new problem"))
 84 | 	  
 85 | 	  return posedProblemsTable ++ addProblemLink
 86 | 	}
 87 | 	
 88 | 	def renderaddproblem ( xhtml : NodeSeq ) : NodeSeq = {
 89 | 	  val problemSetToEdit = ProblemSetToEdit.is
 90 | 	  val currentUser = User.currentUser openOrThrowException "Lift prevents non-logged in users from getting here"
 91 | 	  val problems : Seq[Problem] = Problem.findAllByCreator(currentUser)
 92 | 	  
 93 | 	  return TableHelper.renderTableWithHeader(problems,
 94 | 	      ("Short Description", (problem : Problem) => Text(problem.getShortDescription)),
 95 | 	      ("Problem Type", (problem : Problem) => Text(problem.getTypeName)),
 96 | 	      ("", (problem : Problem) => SHtml.link("/problemsets/poseproblem", () => { ProblemSetToEdit(problemSetToEdit); ProblemToPose(problem) }, Text("Pose this problem"))))
 97 | 	}
 98 | 	
 99 | 	def renderposeproblem ( xhtml : NodeSeq ) : NodeSeq = {
100 | 	  val problemSetToEdit = ProblemSetToEdit.is
101 | 	  val problemToPose = ProblemToPose.is
102 | 	  
103 | 	  var attempts = ""
104 | 	  var maxGrade = ""
105 | 	    
106 | 	  def poseProblem = {
107 | 	    def redirectToSelf( exception : Exception ) = {
108 | 	        S.error(exception.getMessage())
109 | 	        S.redirectTo("/problemsets/poseproblem", () => { ProblemSetToEdit(problemSetToEdit); ProblemToPose(problemToPose) } )
110 | 	    }
111 | 		val numAttempts = try { attempts.toInt } catch { case e : Exception => redirectToSelf(e) }
112 | 		val numMaxGrade = try { maxGrade.toInt } catch { case e : Exception => redirectToSelf(e) }
113 | 	    problemSetToEdit.appendProblem( problemToPose, numAttempts, numMaxGrade )
114 | 	    S.redirectTo("/problemsets/edit", () => ProblemSetToEdit(problemSetToEdit))
115 | 	  }
116 | 	  
117 | 	  object maxGradeFieldRenderer extends Renderer { def render = {
118 | 	    SHtml.text("10", maxGrade = _)
119 | 	  } }
120 | 	  object attemptsFieldRenderer extends Renderer { def render = {
121 | 	    SHtml.text("3", attempts = _)
122 | 	  } }
123 | 	  object submitButtonRenderer extends Renderer { def render = {
124 | 	    SHtml.submit("Pose Problem", () => poseProblem)
125 | 	  } }
126 | 	  val maxGradeFieldBinding = new Binding("maxgradefield", maxGradeFieldRenderer)
127 | 	  val attemptsFieldBinding = new Binding("attemptsfield", attemptsFieldRenderer)
128 | 	  val poseButtonBinding = new Binding("posebutton", submitButtonRenderer)
129 | 
130 | 	  new Binder("poseproblemform", maxGradeFieldBinding, attemptsFieldBinding, poseButtonBinding).bind(xhtml)
131 | 	}
132 | }


--------------------------------------------------------------------------------
/src/main/scala/com/automatatutor/snippet/ProblemSnippet.scala:
--------------------------------------------------------------------------------
  1 | package com.automatatutor.snippet
  2 | 
  3 | import java.util.Date
  4 | import scala.xml.NodeSeq
  5 | import scala.xml.Text
  6 | import com.automatatutor.lib.TableHelper
  7 | import com.automatatutor.model.Problem
  8 | import com.automatatutor.model.ProblemType
  9 | import com.automatatutor.model.SolutionAttempt
 10 | import com.automatatutor.model.User
 11 | import com.automatatutor.renderer.ProblemRenderer
 12 | import net.liftweb.common.Box
 13 | import net.liftweb.common.Empty
 14 | import net.liftweb.http.RequestVar
 15 | import net.liftweb.http.S
 16 | import net.liftweb.http.SHtml
 17 | import net.liftweb.util.AnyVar.whatVarIs
 18 | import net.liftweb.common.Full
 19 | 
 20 | object chosenProblem extends RequestVar[Problem](null)
 21 | object chosenProblemType extends RequestVar[ProblemType](null)
 22 | 
 23 | class Problems {
 24 |   def renderindex ( ignored : NodeSeq ) : NodeSeq = {
 25 | 
 26 |     val usersProblems = Problem.findAllByCreator(User.currentUser openOrThrowException("We should only be on this page if there is a user logged in"))
 27 | 
 28 |     val completeTable = TableHelper.renderTableWithHeader(usersProblems,
 29 |         ("Problem Type", (problem : Problem) => Text(problem.getTypeName)),
 30 |         ("Description", (problem : Problem) => Text(problem.getShortDescription)),
 31 |         ("", (problem : Problem) => new ProblemRenderer(problem).renderSharingWidget),
 32 |         ("", (problem : Problem) => new ProblemRenderer(problem).renderTogglePublicLink),
 33 |         ("", (problem : Problem) => new ProblemRenderer(problem).renderEditLink),
 34 |         ("", (problem : Problem) => new ProblemRenderer(problem).renderDeleteLink))
 35 |     
 36 |     val creationLink = SHtml.link("/problems/create", () => {}, Text("Create new problem"))
 37 |     
 38 |     return completeTable ++ creationLink
 39 |   }
 40 |   
 41 |   def rendercreate( ignored : NodeSeq ) : NodeSeq = {
 42 |     val problemType = chosenProblemType.is
 43 | 
 44 |     def createUnspecificProb ( shortDesc : String, longDesc : String) : Problem = {
 45 |       val createdBy : User = User.currentUser openOrThrowException "Lift protects this page against non-logged-in users"
 46 | 
 47 |       val unspecificProblem : Problem = Problem.create.setCreator(createdBy).makePrivate
 48 |       unspecificProblem.setShortDescription(shortDesc).setLongDescription(longDesc).setProblemType(problemType)
 49 |       unspecificProblem.save
 50 | 
 51 |       return unspecificProblem
 52 |     }
 53 |     
 54 |     def returnFunc() = { 
 55 |       S.redirectTo("/problems/index")
 56 |     }
 57 | 
 58 |     if(problemType == null) {
 59 |       return renderTypeMenu()
 60 |     } else {
 61 |       return problemType.getProblemSnippet().renderCreate(createUnspecificProb, returnFunc)
 62 |     }
 63 |   }
 64 |   
 65 |   def renderedit( ignored : NodeSeq ) : NodeSeq = {
 66 |     if(chosenProblem == null) {
 67 |       S.warning("Please choose a problem to edit first")
 68 |       return S.redirectTo("/problems/index")
 69 |     } else {
 70 |       val problem : ProblemType = (chosenProblem.getProblemType)
 71 |       val problemSnippet : ProblemSnippet = problem.getProblemSnippet()
 72 |       problemSnippet.renderEdit match {
 73 |         case Full(renderFunc) => renderFunc(chosenProblem, () => S.redirectTo("/problems/index"))
 74 |         case Empty => S.error("Editing not implemented for this problem type"); S.redirectTo("/problems/index")
 75 |         case _ => S.error("Error when retrieving editing function"); S.redirectTo("/problems/index")
 76 |       }
 77 |     }
 78 |   }
 79 | 
 80 |   def renderTypeMenu() : NodeSeq = {
 81 |     val headerLine = <h2> Choose Problem Type </h2>
 82 | 
 83 |     val knownProblemTypes = ProblemType.findAll.map(problemType => <li> {
 84 |       SHtml.link("/problems/create", () => chosenProblemType(problemType), Text(problemType.getProblemTypeName))
 85 |     }
 86 |     </li> )
 87 |     val knownProblemTypesList = <ul> { knownProblemTypes } </ul>
 88 |     
 89 |     val returnLink = SHtml.link("/problems/index", () => {}, Text("Back to index"))
 90 | 
 91 |     return headerLine ++ knownProblemTypesList ++ returnLink
 92 |   }
 93 |   
 94 |   def renderpublicproblems( ignored : NodeSeq ) : NodeSeq = {
 95 |     val publicProblems = Problem.findPublicProblems
 96 | 
 97 |     return TableHelper.renderTableWithHeader(publicProblems, 
 98 |         ("Short Description", (problem : Problem) => Text(problem.getShortDescription)),
 99 |         ("Category", (problem : Problem) => Text(problem.getTypeName)),
100 |         ("", (problem : Problem) => SHtml.link("/preview/solve", () => chosenProblem.set(problem), Text("Solve"))))
101 |   }
102 |   
103 |   def rendersolvepublicproblem( ignored : NodeSeq ) : NodeSeq = {
104 |     val problem = chosenProblem.is
105 |     if(problem == null) { 
106 |       S.redirectTo("/preview/index", 
107 |           () => S.notice("Please login. We temporarily disabled the Try it Now problems."))
108 |     }
109 |     val snippet = problem.getProblemType.getProblemSnippet
110 |     return snippet.renderSolve(problem, 10, Empty, 
111 |         (date, grade) => SolutionAttempt, 
112 |         	() => S.redirectTo("/preview/index"), 
113 |             () => 1, 
114 |             () => 100)
115 |   }
116 | }
117 | 
118 | trait ProblemSnippet {
119 |   /** Should produce a NodeSeq that allows the user to create a new problem of
120 |    *  the type. This NodeSeq also has to handle creation of the unspecific
121 |    *  {@link Problem}. */
122 |   def renderCreate( createUnspecificProb : (String, String) => Problem,
123 |       returnFunc : () => Nothing ) : NodeSeq
124 | 
125 |   /** Should produce a NodeSeq that allows the user to edit the problem
126 |    *  associated with the given unspecific problem. */
127 |   def renderEdit : Box[((Problem, () => Nothing) => NodeSeq)]
128 |   
129 |   /** Should produce a NodeSeq that allows the user a try to solve the problem
130 |    *  associated with the given unspecific problem. The function
131 |    *  recordSolutionAttempt must be called once for every solution attempt
132 |    *  and expects the grade of the attempt (which must be <= maxGrade) and the
133 |    *  time the attempt was made. After finishing the solution attempt, the
134 |    *  snippet should send the user back to the overview of problems in the
135 |    *  set by calling returnToSet */
136 |   def renderSolve ( problem : Problem, maxGrade : Long, lastAttempt : Box[SolutionAttempt],
137 |       recordSolutionAttempt: (Int, Date)  => SolutionAttempt,
138 |       returnToSet : () => Unit , attemptsLeft : () => Int, bestGrade : () => Int) : NodeSeq
139 |   
140 |   /** Is called before the given unspecific problem is deleted from the database.
141 |    *  This method should delete everything associated with the given unspecific
142 |    *  problem from the database */
143 |   def onDelete( problem : Problem ) : Unit
144 | }


--------------------------------------------------------------------------------
/src/main/scala/com/automatatutor/snippet/Users.scala:
--------------------------------------------------------------------------------
  1 | package com.automatatutor.snippet
  2 | 
  3 | import scala.xml.NodeSeq
  4 | import scala.xml.Text
  5 | import com.automatatutor.lib.TableHelper
  6 | import com.automatatutor.model.Attendance
  7 | import com.automatatutor.model.Course
  8 | import com.automatatutor.model.DFAConstructionProblem
  9 | import com.automatatutor.model.DFAConstructionSolutionAttempt
 10 | import com.automatatutor.model.NFAConstructionProblem
 11 | import com.automatatutor.model.NFAConstructionSolutionAttempt
 12 | import com.automatatutor.model.NFAToDFAProblem
 13 | import com.automatatutor.model.NFAToDFASolutionAttempt
 14 | import com.automatatutor.model.PosedProblem
 15 | import com.automatatutor.model.PosedProblemSet
 16 | import com.automatatutor.model.Problem
 17 | import com.automatatutor.model.ProblemSet
 18 | import com.automatatutor.model.ProblemType
 19 | import com.automatatutor.model.Role
 20 | import com.automatatutor.model.SolutionAttempt
 21 | import com.automatatutor.model.Supervision
 22 | import com.automatatutor.model.User
 23 | import com.automatatutor.renderer.UserRenderer
 24 | import net.liftweb.http.RequestVar
 25 | import net.liftweb.http.S
 26 | import net.liftweb.http.SHtml
 27 | import net.liftweb.mapper.By
 28 | import net.liftweb.util.Helpers
 29 | import net.liftweb.util.Helpers.strToSuperArrowAssoc
 30 | import net.liftweb.http.PaginatorSnippet
 31 | import net.liftweb.mapper.StartAt
 32 | import net.liftweb.mapper.MaxRows
 33 | import com.automatatutor.lib.Config
 34 | 
 35 | object userToEdit extends RequestVar[User](null)
 36 | 
 37 | class Users extends PaginatorSnippet[User] {
 38 |   override def count = User.findAll().size
 39 |   override def itemsPerPage = Config.layout.usersPerPage.get
 40 |   override def page = User.findAll(StartAt(curPage*itemsPerPage), MaxRows(itemsPerPage)) 
 41 |   
 42 |   def showuser (xhtml : NodeSeq) : NodeSeq = {
 43 |     val user = userToEdit.is
 44 |     
 45 |     def editSubmit() = { 
 46 |       user.save
 47 |       S.redirectTo("/users/index")
 48 |     }
 49 |     
 50 |     def firstNameField = SHtml.text(user.firstName.is, user.firstName(_))
 51 |     def lastNameField = SHtml.text(user.lastName.is, user.lastName(_))
 52 |     def emailField = SHtml.text(user.email.is, user.email(_))
 53 |     
 54 |     def studentRoleLink =
 55 |       if(user.hasStudentRole) {
 56 |       	SHtml.link("/users/edit", () => { userToEdit(user); user.removeStudentRole }, Text("Remove student role"))
 57 |       } else {
 58 |       	SHtml.link("/users/edit", () => { userToEdit(user); user.addStudentRole }, Text("Make student"))
 59 |       }
 60 | 
 61 |     def instructorRoleLink =
 62 |       if(user.hasInstructorRole) {
 63 |       	SHtml.link("/users/edit", () => { userToEdit(user); user.removeInstructorRole }, Text("Remove instructor role"))
 64 |       } else {
 65 |       	SHtml.link("/users/edit", () => { userToEdit(user); user.addInstructorRole }, Text("Make instructor"))
 66 |       }
 67 | 
 68 |     def adminRoleLink =
 69 |       if(user.hasAdminRole) {
 70 |       	SHtml.link("/users/edit", () => { userToEdit(user); user.removeAdminRole }, Text("Remove admin role"))
 71 |       } else {
 72 |       	SHtml.link("/users/edit", () => { userToEdit(user); user.addAdminRole }, Text("Make admin"))
 73 |       }
 74 |     
 75 |     def submitButton =
 76 |       SHtml.submit("Submit", editSubmit)
 77 |     
 78 |     Helpers.bind("userdisplay", xhtml,
 79 |         "firstname" -> firstNameField,
 80 |         "lastname" -> lastNameField,
 81 |         "email" -> emailField,
 82 |         "studentrolechange" -> studentRoleLink,
 83 |         "instructorrolechange" -> instructorRoleLink,
 84 |         "adminrolechange" -> adminRoleLink,
 85 |         "submitbutton" -> submitButton)
 86 |   }
 87 |   
 88 |   def showall(ignored : NodeSeq) : NodeSeq = {
 89 |     val users = page
 90 |       
 91 |     def userToDeleteLink(user : User) : NodeSeq = {
 92 |       def deleteUser(user : User) = {
 93 |         user.delete_!
 94 |         Attendance.deleteAllByUser(user)
 95 |         Supervision.deleteAllByInstructor(user)
 96 |       }
 97 |       SHtml.link("/users/index", () => deleteUser(user), Text("Delete user"))
 98 |     }
 99 |         
100 | 
101 |     def userToEditLink(user : User) : NodeSeq =
102 |     	SHtml.link("/users/edit", () => userToEdit(user), Text("Edit user"))
103 |     	
104 |     val userTable = TableHelper.renderTableWithHeader(users,
105 |         ("First Name", (user : User) => Text(user.firstName.is)),
106 |         ("Last Name", (user : User) => Text(user.lastName.is)),
107 |         ("Email", (user : User) => Text(user.email.is)),
108 |         ("Roles", (user : User) => Text(Role.findAll(By(Role.userId, user)).mkString(", "))),
109 |         ("", (user : User) => userToEditLink(user)),
110 |         ("", (user : User) => (new UserRenderer(user)).renderDeleteLink))
111 |         
112 |     return userTable
113 |   }
114 |   
115 |   def resetlink(ignored : NodeSeq) : NodeSeq = {
116 |     def resetDatabase() = {
117 |       List(Attendance, Course, PosedProblem, PosedProblemSet, Problem, ProblemType, 
118 |           DFAConstructionProblem, NFAConstructionProblem,
119 |           NFAToDFAProblem, NFAToDFASolutionAttempt,
120 |           ProblemSet, SolutionAttempt, Supervision, DFAConstructionSolutionAttempt, NFAConstructionSolutionAttempt).map(_.bulkDelete_!!())
121 |     }
122 |     	
123 |     val resetLink = SHtml.link("/users/index", () => resetDatabase, Text("Reset Database"))
124 |     	
125 |     return resetLink
126 |   }
127 | 
128 | }


--------------------------------------------------------------------------------
/src/main/webapp/WEB-INF/web.xml:
--------------------------------------------------------------------------------
 1 | <?xml version="1.0" encoding="ISO-8859-1"?>
 2 | 
 3 | <!DOCTYPE web-app
 4 | PUBLIC "-//Sun Microsystems, Inc.//DTD Web Application 2.3//EN"
 5 | "http://java.sun.com/dtd/web-app_2_3.dtd">
 6 | 
 7 | <web-app>
 8 | <filter>
 9 |   <filter-name>LiftFilter</filter-name>
10 |   <display-name>Lift Filter</display-name>
11 |   <description>The Filter that intercepts lift calls</description>
12 |   <filter-class>net.liftweb.http.LiftFilter</filter-class>
13 | </filter>
14 |   	
15 | 
16 | <filter-mapping>
17 |   <filter-name>LiftFilter</filter-name>
18 |   <url-pattern>/*</url-pattern>
19 | </filter-mapping>
20 | 
21 | </web-app>
22 | 


--------------------------------------------------------------------------------
/src/main/webapp/about/index.html:
--------------------------------------------------------------------------------
 1 | <lift:surround with="default" at="content">
 2 | 
 3 | <h3>General</h3>
 4 | 
 5 | <p>
 6 | The goal of the Automata Tutor is to help students learn basic concepts in automata
 7 | theory and to help teachers preparing and grading exercises and problem sets.
 8 | Automata Tutor currently supports
 9 | <a href="http://en.wikipedia.org/wiki/Deterministic_finite_automaton">DFA</a>,
10 | <a href="http://en.wikipedia.org/wiki/Nondeterministic_finite_automaton">NFA</a>,
11 | NFA to DFA, and
12 | <a href="http://en.wikipedia.org/wiki/Regular_expression">regular expression</a>
13 | constructions.
14 | 
15 |     <ul>
16 |       <li> The tool provides a set of problems which you can attempt
17 |           by signing up and logging in. When you login you will find Practice Problems on the left;</li>
18 | 	  
19 |       <li>When submitting an incorrect solution, Automata Tutor will provide a grade and feedback
20 |           message to help you progress.</li>
21 |       
22 |       <li> If you are an instructor please send us an email at <a href="mailto:loris at cs.wisc.edu"> loris <em>
23 |           at </em> cs.wisc.edu</a> so that we can enable course managament for you.</li>
24 |       
25 |       
26 | </ul>
27 |     
28 |     
29 |     We open-sourced the <a href="https://github.com/lorisdanto/automatatutor-frontend">frontend</a>
30 |     and <a href="https://github.com/lorisdanto/automatatutor-backend">backend</a>
31 |     of Automata Tutor. Feel free to contribute, address issues, and add features.
32 | </p>
33 | 
34 | 
35 | 
36 | <h3>Contact</h3>
37 | <p>
38 | If you have questions/ comments / suggestions/ feature requests, please contact us at <a href="mailto:loris at cs.wisc.edu"> loris <em>
39 |     at </em> cs.wisc.edu</a>.
40 | </p>
41 | 
42 | <h3>Team</h3>
43 | <p>
44 | A first version of the tutor was designed by 
45 | <a href="http://ecee.colorado.edu/pavol/">Pavol Cerny</a>, 
46 | <a href="http://pub.ist.ac.at/~aradha/">Arjun Radhakrishna</a>, and 
47 | <a href="http://people.csail.mit.edu/zufferey/">Damien Zufferey</a>.
48 | The new Automata Tutor is designed, developed, and maintained by 
49 | <a href="http://www.cis.upenn.edu/~alur/">Rajeev Alur</a>,
50 | <a href="http://www.cis.upenn.edu/~lorisdan/">Loris D'Antoni</a>,
51 | <a href="http://www.cs.berkeley.edu/~bjoern/">Bj&ouml;rn Hartmann</a>,
52 | <a href="http://research.microsoft.com/en-us/um/people/sumitg/">Sumit Gulwani</a>,
53 | <a href="http://web.engr.illinois.edu/~kini2/">Dileep Kini</a>,
54 | <a href="http://www.cs.uiuc.edu/~vmahesh/">Mahesh Viswanathan</a>,
55 | <a href="mailto:mweav at sas dot upenn dot edu">Matthew Weaver</a> and
56 | <a href="http://www.alexanderweinert.net">Alexander Weinert</a>.
57 | The project involves the following institutes:
58 | <a href="http://www.cis.upenn.edu/~alur/">University of Pennsylvania</a>,
59 | <a href="http://research.microsoft.com/">Microsoft Research</a>,
60 | <a href="http://www.cs.uiuc.edu/">University of Illinois</a>, and
61 | <a href="http://www.cs.berkeley.edu/">University of California Berkeley</a>.
62 | </p>
63 | 
64 | <h3>Papers</h3>
65 | <p>
66 | If you want to learn more about how Automata Tutor works check these papers:
67 | <ul>
68 | <li>
69 | <a href="http://www.cis.upenn.edu/~alur/Ijcai13.pdf">Automated Grading of DFA Constructions</a>,
70 | R. Alur, L. D'Antoni, S. Gulwani, D. Kini, and M. Viswanathan, IJCAI 2013
71 | </li>
72 | <li>
73 |     <a href="http://pages.cs.wisc.edu/~loris/papers/tochi15.pdf">
74 | How Can Automatic Feedback Help Students Construct Automata?</a>,
75 | L. D'Antoni, D. Kini, R. Alur, S. Gulwani, M. Viswanathan, B. Hartmann, TOCHI 2015
76 | </li>
77 | </ul>
78 | </p>
79 | 
80 | <h3>Support</h3>
81 | <p>
82 | Our work is supported by the National Science Foundation under the following grants:
83 | <ul>
84 | <li>
85 | 1138996: <a href="https://excape.cis.upenn.edu/">ExCape</a> expedition on Program Synthesis.
86 | </li>
87 | </ul>
88 | </p>
89 | 
90 | </lift:surround>
91 | 
92 | 


--------------------------------------------------------------------------------
/src/main/webapp/about/privacy-statement.html:
--------------------------------------------------------------------------------
 1 | <lift:surround with="default" at="content">
 2 | <h2>Automata Tutor Privacy Statement</h2>
 3 | 
 4 | <p>
 5 | We are committed to protecting your privacy. This privacy
 6 | statement explains many of the data collection and use practices of
 7 | Automata Tutor.  
 8 | </p>
 9 | 
10 | <h3>Collection and Use of Your Information</h3>
11 | 
12 | <p>
13 | Some information we collect may be used for further
14 | research, in collaboration with other researchers.  
15 | Specifically, the information we collect from you can be used for
16 | <ol class="no_space_after" >
17 | <li>to analyze and improve Automata Tutor,</li>
18 | <li>for further research on automata theory and education,</li>
19 | <li>to publish statistical information and results.</li>
20 | </ol>
21 | We will not publish any data about individual users.
22 | </p>
23 | 
24 | <p>
25 | In order to access certain Automata Tutor online services, you will be
26 | asked to enter your name, e-mail address, and a password. We will not share your
27 | email and password with any third parties, nor will we 
28 | publish this information in any way. 
29 | </p>
30 | 
31 | <h3>Changes to this privacy statement</h3>
32 |  
33 | <p>
34 | We will occasionally update this privacy statement to reflect changes in Automata Tutor.
35 | When we post changes, we will revise the "last updated" date at the bottom of this statement.
36 | We encourage you to periodically review this statement.
37 | </p>
38 | 
39 | <p>
40 | Last updated: August 2013
41 | </p>
42 | 
43 | </lift:surround>
44 | 
45 | 


--------------------------------------------------------------------------------
/src/main/webapp/about/terms-of-service.html:
--------------------------------------------------------------------------------
1 | <lift:surround with="default" at="content">
2 | <h2>Terms of service</h2>
3 | This service is provided "as is" and any express or implied warranties, including, but not limited to, the implied warranties of merchantability and fitness for a particular purpose are disclaimed.
4 | In no event shall the contributors be liable for any direct, indirect, incidental, special, exemplary, or consequential damages (including, but not limited to, procurement of substitute goods or services; loss of use, data, or profits; or business interruption) however caused and on any theory of liability, whether in contract, strict liability, or tort (including negligence or otherwise) arising in any way out of the use of this service, even if advised of the possibility of such damage. 
5 | </lift:surround>
6 | 
7 | 


--------------------------------------------------------------------------------
/src/main/webapp/applets/buchi-game.html:
--------------------------------------------------------------------------------
 1 | <div>
 2 |   <head>
 3 |     <link rel="stylesheet" href="/stylesheets/proto2.css" type="text/css"/>
 4 |     <link rel="stylesheet" href="/stylesheets/interface.css" type="text/css"/>
 5 | 
 6 |     <script type="text/javascript" src="/javascript/lib/d3.min.js"></script>
 7 |     <script type="text/javascript" src="/javascript/lib/jquery-2.1.1.min.js"></script>
 8 |     <script type="text/javascript" src="/javascript/lib/jquery.contextmenu.js"></script>
 9 |     <script type="text/javascript" src="/javascript/lib/browser.js"></script>
10 |     <script type="text/javascript" src="/javascript/lib/contextmenu.js"></script>
11 | 
12 |     <script type="text/javascript" src="/javascript/includeBuchiGame.js"></script>
13 | 	<script type="text/javascript" src="/javascript/interface.js"></script>
14 | </head>
15 | 
16 |   <div id="automata_tutor">         
17 | 
18 |   <div id="workarea">
19 |       <div id="svgcanvasbuchigame"></div>
20 |   </div>
21 | 
22 |   </div>
23 |     <ul id="cmenu_canvas" class="contextMenu">
24 |         <li class="contextMenuLi"><a href="#add">Add State</a></li>
25 |         <li class="contextMenuLi"><a href="#remove">Remove State</a></li>
26 |         <li class="contextMenuLi"><a href="#final">Make Final</a></li>
27 |         <li class="contextMenuLi"><a href="#non-final">Make Non-final</a></li>
28 |         <li class="contextMenuLi"><a href="#init">Make Initial</a></li>
29 |         <li class="contextMenuLi"><a href="#flip">Flip Loop</a></li>
30 |     </ul>
31 | 
32 | 	<script type='text/javascript'>initCanvas(); Editor.canvas.setAlphabet([])</script>
33 | </div>
34 | 


--------------------------------------------------------------------------------
/src/main/webapp/buchi-solving/applet.html:
--------------------------------------------------------------------------------
 1 | <div>
 2 |   <head>
 3 |     <link rel="stylesheet" href="/stylesheets/proto2.css" type="text/css"/>
 4 |     <link rel="stylesheet" href="/stylesheets/interface.css" type="text/css"/>
 5 | 
 6 |     <script type="text/javascript" src="/javascript/lib/d3.min.js"></script>
 7 |     <script type="text/javascript" src="/javascript/lib/jquery-2.1.1.min.js"></script>
 8 |     <script type="text/javascript" src="/javascript/lib/jquery.contextmenu.js"></script>
 9 |     <script type="text/javascript" src="/javascript/lib/browser.js"></script>
10 |     <script type="text/javascript" src="/javascript/lib/contextmenu.js"></script>
11 | 
12 |     <script type="text/javascript" src="/javascript/includeBuchi.js"></script>
13 | 	<script type="text/javascript" src="/javascript/interface.js"></script>
14 | </head>
15 | 
16 |   <div id="automata_tutor">         
17 | 
18 |   <div id="workarea">
19 |       <div id="svgcanvasbuchigame"></div>
20 |   </div>
21 | 
22 |   </div>
23 |     <ul id="cmenu_canvas" class="contextMenu">
24 |         <li class="contextMenuLi"><a href="#add">Add State</a></li>
25 |         <li class="contextMenuLi"><a href="#remove">Remove State</a></li>
26 |         <li class="contextMenuLi"><a href="#final">Make Final</a></li>
27 |         <li class="contextMenuLi"><a href="#non-final">Make Non-final</a></li>
28 |         <li class="contextMenuLi"><a href="#init">Make Initial</a></li>
29 |         <li class="contextMenuLi"><a href="#flip">Flip Loop</a></li>
30 |     </ul>
31 | 
32 | 	<script type='text/javascript'>initCanvas(); Editor.canvas.setAlphabet([])</script>
33 | </div>
34 | 


--------------------------------------------------------------------------------
/src/main/webapp/buchi-solving/create.html:
--------------------------------------------------------------------------------
 1 | <div>
 2 | 
 3 | 	<h2> Create a new Buchi-game to solve </h2>
 4 | 
 5 | 	<lift:Identity form="POST">
 6 | 	<createform:arena> </createform:arena>
 7 | 
 8 | 	<table> 
 9 | 		<tr> 
10 | 			<td> Short Description: </td>
11 | 			<td> <createform:shortdescription> </createform:shortdescription> </td>
12 | 		</tr>
13 | 		<tr> 
14 | 			<td> Long Description: </td>
15 | 			<td> <createform:longdescription> </createform:longdescription> </td>
16 | 		</tr>
17 | 		<tr> 
18 | 			<td> </td>
19 | 			<td> <createform:submit> </createform:submit> </td>
20 | 		</tr>
21 | 	</lift:Identity>
22 | </div> 
23 | 


--------------------------------------------------------------------------------
/src/main/webapp/courses/chooseproblemset.html:
--------------------------------------------------------------------------------
 1 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 2 | <html xmlns="http://www.w3.org/1999/xhtml">
 3 | <head><meta content="text/html; charset=UTF-8" http-equiv="content-type" /><title>Home</title></head>
 4 | <body class="lift:content_id=main">
 5 | <div id="main" class="lift:surround?with=default;at=content">
 6 | 
 7 | 	<h2>Choose problem set to pose</h2>
 8 | 
 9 | 	<lift:Courses.renderproblemsets> </lift:Courses>
10 | 
11 | </div>
12 | </body>
13 | </html>
14 | 


--------------------------------------------------------------------------------
/src/main/webapp/courses/create.html:
--------------------------------------------------------------------------------
 1 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 2 | <html xmlns="http://www.w3.org/1999/xhtml">
 3 | <head><meta content="text/html; charset=UTF-8" http-equiv="content-type" /><title>Home</title></head>
 4 | <body class="lift:content_id=main">
 5 | <div id="main" class="lift:surround?with=default;at=content">
 6 | 
 7 | 	<h2>Create new Course</h2>
 8 | 
 9 | 	<lift:Courses.rendercreate form="POST">
10 | 		<!-- We do not use the simpler form <formfield:name />
11 | 			since that confuses lift's binding -->
12 | 		<table>
13 | 			<tr>
14 | 				<td> Name of the Course: </td>
15 | 				<td> <formfield:name> </formfield:name>	</td>
16 | 			</tr>
17 | 			<tr>
18 | 				<td> </td>
19 | 				<td> <formfield:createbutton> </formfield:createbutton> </td>
20 | 			</tr>
21 | 	</lift:Courses>
22 | 
23 | </div>
24 | </body>
25 | </html>


--------------------------------------------------------------------------------
/src/main/webapp/courses/index.html:
--------------------------------------------------------------------------------
 1 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 2 | <html xmlns="http://www.w3.org/1999/xhtml">
 3 | <head><meta content="text/html; charset=UTF-8" http-equiv="content-type" /><title>Home</title></head>
 4 | <body class="lift:content_id=main">
 5 | <div id="main" class="lift:surround?with=default;at=content">
 6 | 
 7 | 	<lift:Courses.showall> </lift:Courses.showall>
 8 | 
 9 | 	<lift:Courses.renderenrollmentform form="POST">
10 | 		<h2> Enroll in course </h2>
11 | 
12 | 		<table>
13 | 			<tr>
14 | 				<td> Course ID: </td>
15 | 				<td> <enrollmentform:courseidfield> </enrollmentform:courseidfield> </td>
16 | 			</tr>
17 | 			<tr>
18 | 				<td> Course Password: </td>
19 | 				<td> <enrollmentform:coursepasswordfield> </enrollmentform:coursepasswordfield> </td>
20 | 			</tr>
21 | 			<tr>
22 | 				<td> </td>
23 | 				<td> <enrollmentform:enrollbutton> </enrollmentform:enrollbutton> </td>
24 | 			</tr>
25 | 		</table>
26 | 	</lift:Courses.renderenrollmentform>
27 | </div>
28 | </body>
29 | 
30 | </html>
31 | 


--------------------------------------------------------------------------------
/src/main/webapp/courses/manage.html:
--------------------------------------------------------------------------------
 1 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 2 | <html xmlns="http://www.w3.org/1999/xhtml">
 3 | <head><meta content="text/html; charset=UTF-8" http-equiv="content-type" /><title>Home</title></head>
 4 | <body class="lift:content_id=main">
 5 | <div id="main" class="lift:surround?with=default;at=content">
 6 | 
 7 | 	<h2>Manage Course</h2>
 8 | 
 9 | 	<lift:Courses.rendermanage form="POST">
10 | 		<!-- We do not use the simpler form <formfield:name />
11 | 			since that confuses lift's binding -->
12 | 		<table>
13 | 			<tr>
14 | 				<td> Name of the Course: </td>
15 | 				<td> <courseinfo:name> </courseinfo:name>	</td>
16 | 			</tr>
17 | 			<tr>
18 | 				<td> Contact Email: </td>
19 | 				<td> <courseinfo:contact> </courseinfo:contact> </td>
20 | 			</tr>
21 | 			<tr>
22 | 				<td> </td>
23 | 				<td> <courseinfo:submitbutton> </courseinfo:submitbutton> </td>
24 | 			</tr>
25 | 		</table>
26 | 	</lift:Courses.rendermanage>
27 | 
28 | 	<h3> Posed Problem Sets </h3>
29 | 	<lift:Courses.renderposedproblemsets>	</lift:Courses.renderposedproblemsets>
30 | 
31 | 	<lift:Courses.renderenrollment form="POST">
32 | 		<h3> Enrolled Students </h3>
33 | 
34 | 		<enrollment:enrolled-students> </enrollment:enrolled-students>
35 | 
36 | 		<h3> Enroll Students </h3>
37 | 
38 | 		<table>
39 | 			<tr>
40 | 				<td> Course ID: </td>
41 | 				<td> <enrollment:courseid> </enrollment:courseid> </td>
42 | 			</tr>
43 | 			<tr>
44 | 				<td> Password: </td>
45 | 				<td> <enrollment:coursepassword> </enrollment:coursepassword> </td>
46 | 			</tr>
47 | 		</table>
48 | 
49 | 	</lift:Courses.renderenrollment>
50 | 
51 | </div>
52 | </body>
53 | </html>
54 | 


--------------------------------------------------------------------------------
/src/main/webapp/courses/poseproblemset.html:
--------------------------------------------------------------------------------
 1 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 2 | <html xmlns="http://www.w3.org/1999/xhtml">
 3 | <head><meta content="text/html; charset=UTF-8" http-equiv="content-type" /><title>Home</title>
 4 | </head>
 5 | <body class="lift:content_id=main">
 6 | 
 7 | 
 8 | 
 9 | <div id="main" class="lift:surround?with=default;at=content">
10 | 
11 | 	<h2>Configure problem set for posing</h2>
12 | 
13 | 	<link rel="stylesheet" href="/stylesheets/jquery-ui.css">
14 | 	<script type="text/javascript" src="/javascript/lib/jquery-2.1.1.min.js"></script>
15 | 	<script type="text/javascript" src="/javascript/lib/jquery-ui.js"> </script>
16 | 	<script type="text/javascript" src="/javascript/lib/jquery-ui-timepicker-addon.js"> </script>
17 | 	
18 | 	<lift:Courses.renderposeproblemset form="POST">
19 | 		<table>
20 | 			<tr>	
21 | 				<div id="datepicker"></div>			
22 | 				<td> Start date (must be parsable by java.util.DateFormat#parse): </td>
23 | 				<td> <poseproblemsetform:startdatefield> </poseproblemsetform:startdatefield> </td>
24 | 			</tr>
25 | 			<tr>
26 | 				<td> End date (must be parsable by java.util.DateFormat#parse): </td>
27 | 				<td> <poseproblemsetform:enddatefield> </poseproblemsetform:enddatefield> </td>
28 | 			</tr>
29 | 			<tr>
30 | 				<td> Pose questions in random order: </td>
31 | 				<td> <poseproblemsetform:randomorderfield> </poseproblemsetform:randomorderfield>
32 | 			</tr>
33 | 			<tr>
34 | 				<td> </td>
35 | 				<td> <poseproblemsetform:posebutton> </poseproblemsetform:posebutton> </td>
36 | 			</tr>
37 | 		</table>
38 | 	</lift:Courses>
39 | 
40 | 	<script>
41 | 	$("#startdate").datetimepicker({timeFormat: "hh:mm tt"});
42 | 	$("#enddate").datetimepicker({timeFormat: "hh:mm tt"});	
43 | 	</script>
44 | </div>
45 | </body>
46 | </html>
47 | 


--------------------------------------------------------------------------------
/src/main/webapp/courses/show.html:
--------------------------------------------------------------------------------
 1 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 2 | <html xmlns="http://www.w3.org/1999/xhtml">
 3 | <head><meta content="text/html; charset=UTF-8" http-equiv="content-type" /><title>Home</title></head>
 4 | <body class="lift:content_id=main">
 5 | <div id="main" class="lift:surround?with=default;at=content">
 6 | 
 7 | 	<lift:Courses.rendershow>
 8 | 	<h2> <showcourse:name> </showcourse:name> </h2>
 9 | 
10 | 	<h3> Active Problemsets </h3>
11 | 
12 | 	<showcourse:activesets> </showcourse:activesets>
13 | 
14 | 	<h3> Expired Problemsets </h3>
15 | 
16 | 	<showcourse:expiredsets> </showcourse:expiredsets>
17 | 
18 | 	</lift:Courses>
19 | 
20 | </div>
21 | </body>
22 | </html>
23 | 


--------------------------------------------------------------------------------
/src/main/webapp/courses/solveproblem.html:
--------------------------------------------------------------------------------
 1 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 2 | <html xmlns="http://www.w3.org/1999/xhtml">
 3 | <head><meta content="text/html; charset=UTF-8" http-equiv="content-type" /><title>Home</title></head>
 4 | <body class="lift:content_id=main">
 5 | <div id="main" class="lift:surround?with=default;at=content">
 6 | 
 7 | 	<lift:Courses.rendersolveproblem> </lift:Courses>
 8 | 
 9 | </div>
10 | </body>
11 | </html>
12 | 


--------------------------------------------------------------------------------
/src/main/webapp/courses/solveproblemset.html:
--------------------------------------------------------------------------------
 1 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 2 | <html xmlns="http://www.w3.org/1999/xhtml">
 3 | <head><meta content="text/html; charset=UTF-8" http-equiv="content-type" /><title>Home</title></head>
 4 | <body class="lift:content_id=main">
 5 | <div id="main" class="lift:surround?with=default;at=content">
 6 | 
 7 | 	<h2>Solve Problem Set</h2>
 8 | 
 9 | 	<lift:Courses.rendersolveproblemset> </lift:rendersolveproblemset>
10 | 
11 | </div>
12 | </body>
13 | </html>
14 | 


--------------------------------------------------------------------------------
/src/main/webapp/description-to-nfa-problem/applet.html:
--------------------------------------------------------------------------------
 1 | <div>
 2 |   <head>
 3 |     <link rel="stylesheet" href="/stylesheets/proto2.css" type="text/css"/>
 4 |     <link rel="stylesheet" href="/stylesheets/interface.css" type="text/css"/>
 5 | 
 6 |     <script type="text/javascript" src="/javascript/lib/d3.min.js"></script>
 7 |     <script type="text/javascript" src="/javascript/lib/jquery-2.1.1.min.js"></script>
 8 |     <script type="text/javascript" src="/javascript/lib/jquery.contextmenu.js"></script>
 9 |     <script type="text/javascript" src="/javascript/lib/browser.js"></script>
10 |     <script type="text/javascript" src="/javascript/lib/contextmenu.js"></script>
11 | 
12 | 	<script type="text/javascript" src="/javascript/includeNFA.js"></script>
13 |     <script type="text/javascript" src="/javascript/interface.js"></script>
14 | </head>
15 | 
16 |   <div id="automata_tutor">         
17 | 
18 |   <div id="workarea">
19 |       <div id="svgcanvasnfa"></div>
20 |   </div>
21 | 
22 |   </div>
23 |     <ul id="cmenu_canvas" class="contextMenu">
24 |         <li class="contextMenuLi"><a href="#add">Add State</a></li>
25 |         <li class="contextMenuLi"><a href="#remove">Remove State</a></li>
26 |         <li class="contextMenuLi"><a href="#final">Make Final</a></li>
27 |         <li class="contextMenuLi"><a href="#non-final">Make Non-final</a></li>
28 |         <li class="contextMenuLi"><a href="#init">Make Initial</a></li>
29 |         <li class="contextMenuLi"><a href="#flip">Flip Loop</a></li>
30 |     </ul>
31 | 
32 | 	<script type='text/javascript'>initCanvas(); Editor.canvas.setAlphabet([])</script>
33 | </div>
34 | 


--------------------------------------------------------------------------------
/src/main/webapp/description-to-nfa-problem/create.html:
--------------------------------------------------------------------------------
 1 | <div>
 2 | 		
 3 | 	<script type="text/javascript" src="/javascript/alphabetUtil.js"> </script>
 4 | 	
 5 | 	<script type="text/javascript">
 6 | 		function setAlphabet() {		
 7 | 		    var alphabet = parseAlphabet();
 8 | 			if(alphabetChecks(alphabet)){
 9 | 				Editor.canvas.setEpsilon(document.getElementById('epsilonCheck').checked);
10 | 				Editor.canvas.setAlphabet(alphabet);	
11 | 			}
12 | 		}
13 | 	</script>
14 | 
15 | 	<h2> Create a new description to NFA problem </h2>
16 | 
17 | 	<form id="alphabetForm" action="">
18 | 		Note that resetting the alphabet will also reset the whole automaton <br />
19 | 		Alphabet (separated by spaces): 
20 | 		<input type="text" id="alphabetField"><br>
21 | 		Allow epsilon transitions <input type="checkbox" id="epsilonCheck" checked><br>
22 | 		<input type="button" value="Set Alphabet and Epsilon" onclick="setAlphabet()">
23 | 	</form>
24 | 
25 | 	<lift:embed what="/description-to-nfa-problem/applet"> </lift:embed>
26 | 		
27 | 	<script type="text/javascript">
28 | 		// On load, set the alphabet to a,b as standard.
29 | 		document.getElementById('alphabetField').value = "a b";
30 | 		setAlphabet();
31 | 	</script>
32 | 	
33 | 	<lift:Identity form="POST">
34 | 	<table> 
35 | 		<tr> 
36 | 			<td> </td>
37 | 			<td> <createform:automaton> </createform:automaton> </td>
38 | 		</tr>
39 | 		<tr> 
40 | 			<td> Short Description: </td>
41 | 			<td> <createform:shortdescription> </createform:shortdescription> </td>
42 | 		</tr>
43 | 		<tr> 
44 | 			<td> Long Description (will appear in the problem in the form of "Construct a NFA that recognizes the following language: {long description}"): </td>
45 | 			<td> <createform:longdescription> </createform:longdescription> </td>
46 | 		</tr>
47 | 		<tr> 
48 | 			<td> </td>
49 | 			<td> <createform:submit> </createform:submit> </td>
50 | 		</tr>
51 | 	</lift:Identity>
52 | </div> 
53 | 


--------------------------------------------------------------------------------
/src/main/webapp/description-to-nfa-problem/edit.html:
--------------------------------------------------------------------------------
 1 | <div>
 2 | 
 3 | 	<script type="text/javascript" src="/javascript/alphabetUtil.js"> </script>
 4 | 
 5 | 	<script type="text/javascript">
 6 | 		function setAlphabet() {
 7 | 			var alphabet = parseAlphabet();			
 8 | 			if(alphabetChecks(alphabet)){
 9 | 				Editor.canvas.setAlphabet(alphabet);
10 | 			}
11 | 		}
12 | 	</script>	
13 | 
14 | 	<h2> Edit NFA-construction problem </h2>
15 | 
16 | 	<form id="alphabetForm" action="">
17 | 		Note that resetting the alphabet will also reset the whole automaton <br />
18 | 		Alphabet (separated by spaces): <input type="text" id="alphabetField">
19 | 		<input type="button" value="Set Alphabet" onclick="setAlphabet()">
20 | 	</form>
21 | 
22 | 	<lift:embed what="/description-to-nfa-problem/applet"> </lift:embed>	
23 | 
24 | 	<lift:Identity form="POST">
25 | 	<editform:setupscript> </editform:setupscript>
26 | 	<table> 
27 | 		<tr> 
28 | 			<td> </td>
29 | 			<td> <editform:automaton> </editform:automaton> </td>
30 | 		</tr>
31 | 		<tr> 
32 | 			<td> Short Description: </td>
33 | 			<td> <editform:shortdescription> </editform:shortdescription> </td>
34 | 		</tr>
35 | 		<tr> 
36 | 			<td> Long Description (will appear in the problem in the form of "Construct an NFA that recognizes the following language: {long description}"): </td>
37 | 			<td> <editform:longdescription> </editform:longdescription> </td>
38 | 		</tr>
39 | 		<tr> 
40 | 			<td> </td>
41 | 			<td> <editform:submit> </editform:submit> </td>
42 | 		</tr>
43 | 	</lift:Identity>
44 | </div> 
45 | 


--------------------------------------------------------------------------------
/src/main/webapp/description-to-nfa-problem/solve.html:
--------------------------------------------------------------------------------
 1 | <div>
 2 | 	<h3> Solve NFA construction problem </h3>
 3 | 	Construct an automaton that recognizes the following language of strings over the alphabet <nfaeditform:alphabettext> </nfaeditform:alphabettext>:</br> <nfaeditform:problemdescription> </nfaeditform:problemdescription> </br></br>
 4 | 
 5 | 	<lift:embed what="/description-to-nfa-problem/applet"> </lift:embed>
 6 | 
 7 | 	<form class="lift:form">
 8 | 		<nfaeditform:alphabetscript> </nfaeditform:alphabetscript>
 9 | 		<nfaeditform:lastattemptscript> </nfaeditform:lastattemptscript>
10 | 		<nfaeditform:automatondescriptionfield> </nfaeditform:automatondescriptionfield>
11 | 		
12 | 		<nfaeditform:submitbutton> </nfaeditform:submitbutton>
13 | 		<nfaeditform:returnlink> </nfaeditform:returnlink>
14 | 	</form>
15 | 
16 | 	<div id="feedbackdisplay" style="display:none" class="gradefeed">
17 | 		<h3> Grade: <span id="grade" /> </h3>
18 | 		<h3> Feedback: </h3>
19 | 		<ul>
20 | 			<div id="feedback"/>
21 | 		</ul>
22 | 	</div>
23 | 
24 | </div> 


--------------------------------------------------------------------------------
/src/main/webapp/description-to-regex-problem/create.html:
--------------------------------------------------------------------------------
 1 | <div>
 2 | 	
 3 | 	<script type="text/javascript" src="/javascript/alphabetUtil.js"> </script>
 4 | 
 5 | 	<h2> Create a new Description to Regex problem </h2>
 6 | 
 7 | 	<h4> Regular Expression Syntax </h4>
 8 | 
 9 | 	The union is expressed as R|R, star as R*, plus as R+, concatenation as RR. <br />
10 | 	Epsilon is not supported but you can write R? for the regex (R|epsilon). <br /> <br />
11 | 
12 | 	<h4> Problem Definition </h4>
13 | 
14 | 	<lift:Identity form="POST">
15 | 	<table> 
16 | 		<tr>
17 | 			<td> Alphabet (separated by spaces): </td>
18 | 			<td> <createform:alphabetfield> </createform:alphabetfield> </td>
19 | 		</tr> 
20 | 		<tr>
21 | 			<td> Regular Expression: </td>
22 | 			<td> <createform:regexfield> </createform:regexfield> </td>
23 | 		</tr> 
24 | 			<td> Short Description: </td>
25 | 			<td> <createform:shortdescription> </createform:shortdescription> </td>
26 | 		</tr>
27 | 		<tr> 
28 | 			<td> Long Description (will appear in the problem in the form of "Construct a regular expression that recognizes the following language: {long description}"): </td>
29 | 			<td> <createform:longdescription> </createform:longdescription> </td>
30 | 		</tr>
31 | 		<tr> 
32 | 			<td> </td>
33 | 			<td> <createform:submit> </createform:submit> </td>
34 | 		</tr>
35 | 	</lift:Identity>
36 | 
37 | 	<div id="feedbackdisplay" style="display:none" class="gradefeed">
38 | 		<h3> Parsing Error: </h3>
39 | 		<ul>
40 | 			<div id="parsingerror"/>
41 | 		</ul>
42 | 	</div>
43 | </div> 
44 | 


--------------------------------------------------------------------------------
/src/main/webapp/description-to-regex-problem/edit.html:
--------------------------------------------------------------------------------
 1 | <div>
 2 | 	
 3 | 	<script type="text/javascript" src="/javascript/alphabetUtil.js"> </script>
 4 | 
 5 | 	<h2> Edit Description to Regex problem </h2>
 6 | 
 7 | 	<h4> Regular Expression Syntax </h4>
 8 | 
 9 | 	The union is expressed as R|R, star as R*, plus as R+, concatenation as RR. <br />
10 | 	Epsilon is not supported but you can write R? for the regex (R|epsilon). <br /> <br />
11 | 
12 | 	<h4> Problem Definition </h4>
13 | 
14 | 	<lift:Identity form="POST">	
15 | 	<table> 
16 | 		<tr>
17 | 			<td> Alphabet (separated by spaces): </td>
18 | 			<td> <editform:alphabetfield> </editform:alphabetfield> </td>
19 | 		</tr> 
20 | 		<tr>
21 | 			<td> Regular Expression: </td>
22 | 			<td> <editform:regexfield> </editform:regexfield> </td>
23 | 		</tr> 
24 | 			<td> Short Description: </td>
25 | 			<td> <editform:shortdescription> </editform:shortdescription> </td>
26 | 		</tr>
27 | 		<tr> 
28 | 			<td> Long Description (will appear in the problem in the form of "Construct a regular expression that recognizes the following language: {long description}"): </td>
29 | 			<td> <editform:longdescription> </editform:longdescription> </td>
30 | 		</tr>
31 | 		<tr> 
32 | 			<td> </td>
33 | 			<td> <editform:submit> </editform:submit> </td>
34 | 		</tr>
35 | 	</lift:Identity>
36 | 
37 | 	<div id="feedbackdisplay" style="display:none" class="gradefeed">
38 | 		<h3> Parsing Error: </h3>
39 | 		<ul>
40 | 			<div id="parsingerror"/>
41 | 		</ul>
42 | 	</div>
43 | </div> 


--------------------------------------------------------------------------------
/src/main/webapp/description-to-regex-problem/solve.html:
--------------------------------------------------------------------------------
 1 | <div>
 2 | 	<h3> Solve Description to Regular Expression problem </h3>
 3 | 	Construct a regular expression that recognizes the following language of strings over the alphabet <regexsolveform:alphabettext> </regexsolveform:alphabettext>:</br> <regexsolveform:problemdescription> </regexsolveform:problemdescription> <br /> <br />
 4 | 	
 5 | 	<h4> Syntax </h4>
 6 | 	The union is expressed as R|R, star as R*, plus as R+, concatenation as RR. <br />
 7 | 	Epsilon is not supported but you can write R? for the regex (R|epsilon).
 8 | 	
 9 | 	</br></br>
10 | 
11 | 	<form class="lift:form">
12 | 		Your regex: <regexsolveform:regexattemptfield> </regexsolveform:regexattemptfield> <br />
13 | 		
14 | 		<regexsolveform:submitbutton> </regexsolveform:submitbutton>
15 | 		<regexsolveform:returnlink> </regexsolveform:returnlink> <br />
16 | 	</form>
17 | 
18 | 	<div id="feedbackdisplay" style="display:none" class="gradefeed">
19 | 		<h3> Grade: <span id="grade" /> </h3>
20 | 		<h3> Feedback: </h3>
21 | 		<ul>
22 | 			<div id="feedback"/>
23 | 		</ul>
24 | 	</div>
25 | 
26 | </div> 
27 | 


--------------------------------------------------------------------------------
/src/main/webapp/dfa-construction/applet.html:
--------------------------------------------------------------------------------
 1 | <div>
 2 |   <head>
 3 |     <link rel="stylesheet" href="/stylesheets/proto2.css" type="text/css"/>
 4 |     <link rel="stylesheet" href="/stylesheets/interface.css" type="text/css"/>
 5 | 
 6 |     <script type="text/javascript" src="/javascript/lib/d3.min.js"></script>
 7 |     <script type="text/javascript" src="/javascript/lib/jquery-2.1.1.min.js"></script>
 8 |     <script type="text/javascript" src="/javascript/lib/jquery.contextmenu.js"></script>
 9 |     <script type="text/javascript" src="/javascript/lib/browser.js"></script>
10 |     <script type="text/javascript" src="/javascript/lib/contextmenu.js"></script>
11 | 
12 |     <script type="text/javascript" src="/javascript/includeDFA.js"></script>
13 | 	<script type="text/javascript" src="/javascript/interface.js"></script>
14 | </head>
15 | 
16 |   <div id="automata_tutor">         
17 | 
18 |   <div id="workarea">
19 |       <div id="svgcanvasdfa"></div>
20 |   </div>
21 | 
22 |   </div>
23 |     <ul id="cmenu_canvas" class="contextMenu">
24 |         <li class="contextMenuLi"><a href="#add">Add State</a></li>
25 |         <li class="contextMenuLi"><a href="#remove">Remove State</a></li>
26 |         <li class="contextMenuLi"><a href="#final">Make Final</a></li>
27 |         <li class="contextMenuLi"><a href="#non-final">Make Non-final</a></li>
28 |         <li class="contextMenuLi"><a href="#init">Make Initial</a></li>
29 |         <li class="contextMenuLi"><a href="#flip">Flip Loop</a></li>
30 |     </ul>
31 | 
32 | 	<script type='text/javascript'>initCanvas(); Editor.canvas.setAlphabet([])</script>
33 | </div>
34 | 


--------------------------------------------------------------------------------
/src/main/webapp/dfa-construction/create.html:
--------------------------------------------------------------------------------
 1 | <div>
 2 | 
 3 | 	<script type="text/javascript" src="/javascript/alphabetUtil.js"> </script>
 4 | 
 5 | 	<script type="text/javascript">
 6 | 		function setAlphabet() {
 7 | 			var alphabet = parseAlphabet();			
 8 | 			if(alphabetChecks(alphabet)){
 9 | 				Editor.canvas.setAlphabet(alphabet);
10 | 			}
11 | 		}
12 | 	</script>	
13 | 
14 | 	<h2> Create a new DFA-construction problem </h2>
15 | 
16 | 	<form id="alphabetForm" action="">
17 | 		Note that resetting the alphabet will also reset the whole automaton <br />
18 | 		Alphabet (separated by spaces): <input type="text" id="alphabetField">
19 | 		<input type="button" value="Set Alphabet" onclick="setAlphabet()">
20 | 	</form>
21 | 
22 | 	<lift:embed what="/dfa-construction/applet"> </lift:embed>
23 | 	
24 | 	<script type="text/javascript">
25 | 		// On load, set the alphabet to a,b as standard.
26 | 		document.getElementById('alphabetField').value = "a b";
27 | 		setAlphabet();
28 | 	</script>
29 | 
30 | 	<lift:Identity form="POST">
31 | 	<table> 
32 | 		<tr> 
33 | 			<td> </td>
34 | 			<td> <createform:automaton> </createform:automaton> </td>
35 | 		</tr>
36 | 		<tr> 
37 | 			<td> Short Description: </td>
38 | 			<td> <createform:shortdescription> </createform:shortdescription> </td>
39 | 		</tr>
40 | 		<tr> 
41 | 			<td> Long Description (will appear in the problem in the form of "Construct a DFA that recognizes the following language: {long description}"): </td>
42 | 			<td> <createform:longdescription> </createform:longdescription> </td>
43 | 		</tr>
44 | 		<tr> 
45 | 			<td> </td>
46 | 			<td> <createform:submit> </createform:submit> </td>
47 | 		</tr>
48 | 	</lift:Identity>
49 | </div> 
50 | 


--------------------------------------------------------------------------------
/src/main/webapp/dfa-construction/edit.html:
--------------------------------------------------------------------------------
 1 | <div>
 2 | 
 3 | 	<script type="text/javascript" src="/javascript/alphabetUtil.js"> </script>
 4 | 
 5 | 	<script type="text/javascript">
 6 | 		function setAlphabet() {
 7 | 			var alphabet = parseAlphabet();			
 8 | 			if(alphabetChecks(alphabet)){
 9 | 				Editor.canvas.setAlphabet(alphabet);
10 | 			}
11 | 		}
12 | 	</script>	
13 | 
14 | 	<h2> Edit DFA-construction problem </h2>
15 | 
16 | 	<form id="alphabetForm" action="">
17 | 		Note that resetting the alphabet will also reset the whole automaton <br />
18 | 		Alphabet (separated by spaces): <input type="text" id="alphabetField">
19 | 		<input type="button" value="Set Alphabet" onclick="setAlphabet()">
20 | 	</form>
21 | 
22 | 	<lift:embed what="/dfa-construction/applet"> </lift:embed>	
23 | 
24 | 	<lift:Identity form="POST">
25 | 	<editform:setupscript> </editform:setupscript>
26 | 	<table> 
27 | 		<tr> 
28 | 			<td> </td>
29 | 			<td> <editform:automaton> </editform:automaton> </td>
30 | 		</tr>
31 | 		<tr> 
32 | 			<td> Short Description: </td>
33 | 			<td> <editform:shortdescription> </editform:shortdescription> </td>
34 | 		</tr>
35 | 		<tr> 
36 | 			<td> Long Description (will appear in the problem in the form of "Construct a DFA that recognizes the following language: {long description}"): </td>
37 | 			<td> <editform:longdescription> </editform:longdescription> </td>
38 | 		</tr>
39 | 		<tr> 
40 | 			<td> </td>
41 | 			<td> <editform:submit> </editform:submit> </td>
42 | 		</tr>
43 | 	</lift:Identity>
44 | </div> 
45 | 


--------------------------------------------------------------------------------
/src/main/webapp/dfa-construction/solve.html:
--------------------------------------------------------------------------------
 1 | <div>
 2 | 	<h3> Solve DFA construction problem </h3>
 3 | 	<div class="probdesc">
 4 | 	Construct an automaton that recognizes the following language of strings over the alphabet 
 5 | 	<dfaeditform:alphabettext> </dfaeditform:alphabettext>:</br> 
 6 | 	<dfaeditform:problemdescription> </dfaeditform:problemdescription> 
 7 | 	</div>
 8 | 	</br>
 9 | 
10 | 	<lift:embed what="/dfa-construction/applet"> </lift:embed>
11 | 
12 | 	<form class="lift:form">
13 | 		<dfaeditform:alphabetscript> </dfaeditform:alphabetscript>
14 | 		<dfaeditform:lastattemptscript> </dfaeditform:lastattemptscript>
15 | 		<dfaeditform:automatondescriptionfield> </dfaeditform:automatondescriptionfield>
16 | 		
17 | 		<dfaeditform:submitbutton> </dfaeditform:submitbutton>
18 | 		<dfaeditform:returnlink> </dfaeditform:returnlink>
19 | 	</form>
20 | 
21 | 	<div id="feedbackdisplay" style="display:none" class="gradefeed">
22 | 		<h3> Grade: <span id="grade" /> </h3>
23 | 		<h3> Feedback: </h3>
24 | 		<ul>
25 | 			<div id="feedback"/>
26 | 		</ul>
27 | 	</div>
28 | 
29 | </div> 
30 | 


--------------------------------------------------------------------------------
/src/main/webapp/images/ajax-loader.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AutomataTutor/automatatutor-frontend/5d7b2f3639ec544bead7ca28995aecb87738c421/src/main/webapp/images/ajax-loader.gif


--------------------------------------------------------------------------------
/src/main/webapp/images/trash_bin.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AutomataTutor/automatatutor-frontend/5d7b2f3639ec544bead7ca28995aecb87738c421/src/main/webapp/images/trash_bin.png


--------------------------------------------------------------------------------
/src/main/webapp/index.html:
--------------------------------------------------------------------------------
 1 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 2 | <html xmlns="http://www.w3.org/1999/xhtml">
 3 | <head><meta content="text/html; charset=UTF-8" http-equiv="content-type" /><title>Home</title>
 4 | 
 5 | </head>
 6 | <body class="lift:content_id=main">
 7 | <div id="main" class="lift:surround?with=default;at=content">
 8 | 
 9 | 	<h2>Welcome to Automata Tutor</h2>
10 | 	<p>
11 | 	The goal of the automata tutor is to help students learn automata
12 | 	theory and to help teachers prepare exercises and problem sets.
13 | 
14 | 	<ul>
15 | 		<li> 
16 | 		Using the links on the left you can try solving several problems 
17 | 		while being assisted by Automata Tutor's personalized feedback.
18 | 		</li> 
19 | 		
20 | 		<li> 
21 | 		By signing up and logging in you can find more problems and
22 | 		access courses.
23 | 		</li>
24 | 		
25 | 		<li> 
26 | 		If you are an instructor please send us an email 
27 | 		at <a href="mailto:loris at cs.wisc.edu"> loris <em>
28 | 			at </em> cs.wisc.edu</a>
29 | 		after registering so that 
30 | 		we can enable course management for you.
31 | 		</li>
32 | 		
33 | 		<li> 
34 | 		<b>IMPORTANT:</b> If after registering you do not receive a confirmation
35 | 		email please use the <a href="/user_mgt/lost_password">Lost Password</a> link 
36 | 		to resend the confirmation email.
37 | 		If you still experience problems, please contact us at
38 |         <a href="mailto:loris at cs.wisc.edu"> loris <em>
39 |             at </em> cs.wisc.edu</a>
40 | 		</li>
41 | 
42 | 		<li> 
43 | 		<b>JOIN THE TEAM:</b> 
44 | 		Do you want to help us adding new features to AutomataTutor? Send an email to
45 |         <a href="mailto:loris at cs.wisc.edu"> loris <em>
46 |             at </em> cs.wisc.edu</a>
47 | 		</li>
48 | 	</ul>
49 | 
50 | 	Please read the <a href="about/terms-of-service"> terms of service </a> and the 
51 | 	<a href="about/privacy-statement"> privacy statement</a>.<br/>
52 | 
53 | 	If you have questions/ comments / suggestions/ feature requests,
54 | 	please contact us
55 |     at <a href="mailto:loris at cs.wisc.edu"> loris <em>
56 |         at </em> cs.wisc.edu</a>
57 | 	<br/>	
58 | 
59 | 	</p>
60 | 	<h3>Requirements</h3>
61 | 	<p>
62 | 	Automata tutor makes heavy use of javascript.
63 | 	Please make sure that the javascript support of your browser is enabled.
64 | 	The website have been tested and developed using the web browsers Firefox and Chrome.
65 | 	It is very likely that bugs might show up with other browsers, we apologise for that.
66 | 	We are working on supporting other browsers, but in the mean time you have been warned.
67 | 	</p>
68 | 
69 | 	
70 | 	
71 |     </div>
72 |   </body>
73 | </html>
74 | 
75 | 


--------------------------------------------------------------------------------
/src/main/webapp/index.html~:
--------------------------------------------------------------------------------
 1 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 2 | <html xmlns="http://www.w3.org/1999/xhtml">
 3 | <head><meta content="text/html; charset=UTF-8" http-equiv="content-type" /><title>Home</title>
 4 | <script>
 5 |   (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
 6 |   (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
 7 |   m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
 8 |   })(window,document,'script','//www.google-analytics.com/analytics.js','ga');
 9 | 
10 |   ga('create', 'UA-31575535-1', 'auto');
11 |   ga('send', 'pageview');
12 | 
13 | </script>
14 | </head>
15 | <body class="lift:content_id=main">
16 | <div id="main" class="lift:surround?with=default;at=content">
17 | 
18 | 	<h2>Welcome to Automata Tutor</h2>
19 | 	<p>
20 | 	The goal of the automata tutor is to help students learn automata
21 | 	theory and to help teachers prepare exercises and problem sets.
22 | 
23 | 	<ul>
24 | 		<li> 
25 | 		Using the links on the left you can try solving several problems 
26 | 		while being assisted by Automata Tutor's personalized feedback.
27 | 		</li> 
28 | 		
29 | 		<li> 
30 | 		By signing up and logging in you can find more problems and
31 | 		access courses.
32 | 		</li>
33 | 		
34 | 		<li> 
35 | 		If you are an instructor please send us an email 
36 | 		at <a href="mailto:info at automatatutor.com"> info <em>
37 | 			at </em> automatatutor.com</a>
38 | 		after registering so that 
39 | 		we can enable course management for you.
40 | 		</li>
41 | 		
42 | 		<li> 
43 | 		<b>IMPORTANT:</b> If after registering you do not receive a confirmation
44 | 		email please use the <a href="/user_mgt/lost_password">Lost Password</a> link 
45 | 		to resend the confirmation email.
46 | 		If you still experience problems, please contact us at
47 | 		<a href="mailto:info at automatatutor.com"> info <em>
48 | 			at </em> automatatutor.com</a>
49 | 		</li>
50 | 
51 | 		<li> 
52 | 		<b>JOIN THE TEAM:</b> 
53 | 		Do you want to help us adding new features to AutomataTutor? Send an email to
54 | 		<a href="mailto:info at automatatutor.com"> info <em>
55 | 			at </em> automatatutor.com</a>.
56 | 		</li>
57 | 	</ul>
58 | 
59 | 	Please read the <a href="about/terms-of-service"> terms of service </a> and the 
60 | 	<a href="about/privacy-statement"> privacy statement</a>.<br/>
61 | 
62 | 	If you have questions/ comments / suggestions/ feature requests,
63 | 	please contact us
64 | 	at <a href="mailto:info at automatatutor.com"> info <em>
65 | 			at </em> automatatutor.com</a>. 
66 | 	<br/>	
67 | 
68 | 	</p>
69 | 	<h3>Requirements</h3>
70 | 	<p>
71 | 	Automata tutor makes heavy use of javascript.
72 | 	Please make sure that the javascript support of your browser is enabled.
73 | 	The website have been tested and developed using the web browsers Firefox and Chrome.
74 | 	It is very likely that bugs might show up with other browsers, we apologise for that.
75 | 	We are working on supporting other browsers, but in the mean time you have been warned.
76 | 	</p>
77 | 
78 | 	
79 | 	
80 |     </div>
81 |   </body>
82 | </html>
83 | 
84 | 


--------------------------------------------------------------------------------
/src/main/webapp/javascript/README.md:
--------------------------------------------------------------------------------
 1 | AutomataTutor Automaton Interface
 2 | =========================
 3 | 
 4 | A Quick Overview of interface.js
 5 | ---------------------------
 6 | 
 7 | The interface is made using  [d3.js](http://d3js.org) to generate and manipulate SVG elements.
 8 | 
 9 | 
10 | The automaton is described by the following:
11 | 
12 | `alphabet` is an array of strings denoting the alphabet of the automaton
13 | 
14 | `nodes` is an array of records with the following fields (each denoting a state):
15 | `id` --  an integer that is both the id and label displayed for the node
16 | `initial` -- a boolean with value `true` if the state is the initial states
17 | `accepting` -- a boolean with value `true` if the state is a final state
18 | `reflexiveNum` -- an integer with value of how many reflexive transitions the state has associated with it
19 | `flip` -- a boolean with value `true` if the reflexive transitions are displayed below (instead of above) the state
20 | `menuVisible` -- a boolean with value `true` if the hover menu is being displayed (only used for NFAs)
21 | 
22 | `links` is an array of records with the following fields (each denoting a transition):
23 | `source` -- node record denoting the source of the transition
24 | `target` -- node record denoting the target of the tranisiton
25 | `reflexive` -- boolean with value `true` if the transition is reflexive
26 | `trans` -- string array denoting what subset of the alphabet the transition is over
27 | 
28 | 
29 | Two functions control the majority of the interface's behavior:
30 | 
31 | `tick` controls how the automaton is displayed, updating the location of the various SVG elements
32 | 
33 | `restart` controls what automaton is displayed. Thus it handles most of the user interaction with the
34 | interface and updates the variables accordingly. This includes adding/removing state and transitions, etc...
35 | 


--------------------------------------------------------------------------------
/src/main/webapp/javascript/alphabetUtil.js:
--------------------------------------------------------------------------------
 1 | function sanitizeStringArray(stringArray) {
 2 | 		var sanitizedArray = new Array();
 3 | 		for(var i = 0; i < stringArray.length; i++){
 4 | 			if (stringArray[i]){
 5 | 				sanitizedArray.push(stringArray[i]);
 6 | 			}
 7 | 		}
 8 | 		return sanitizedArray;
 9 | 	}
10 | 
11 | function parseAlphabet() {
12 | 	var rawInput = document.getElementById('alphabetField').value;
13 | 	//var inputWithoutSpaces = rawInput.replace(/\s+/g, '');
14 | 	var splitInput = rawInput.split(" ");
15 | 	var alphabetWithoutEmptyEntries = sanitizeStringArray(splitInput)
16 | 	return alphabetWithoutEmptyEntries;
17 | }	
18 | 
19 | function parseAlphabetByFieldName(fieldName) {
20 | 	var rawInput = document.getElementById(fieldName).value;
21 | 	//var inputWithoutSpaces = rawInput.replace(/\s+/g, '');
22 | 	var splitInput = rawInput.split(" ");
23 | 	var alphabetWithoutEmptyEntries = sanitizeStringArray(splitInput)
24 | 	return alphabetWithoutEmptyEntries;
25 | }	
26 | 
27 | function alphabetChecks(stringArray){
28 | 	var tmpArray = [];
29 | 	for(var i = 0; i < stringArray.length; i++){
30 | 		var elem = stringArray[i];
31 | 		if (elem.length>1){	
32 | 			alert("'"+elem+"' is not a character.\nThe alphabet cannot contain strings.");
33 | 			return false;
34 | 		}
35 | 		if(tmpArray.indexOf(elem)>=0){
36 | 			alert("The character '"+elem+"' is repeated twice.");
37 | 			return false;
38 | 		}
39 | 		tmpArray.push(elem);
40 | 	}
41 | 	return true;
42 | }		


--------------------------------------------------------------------------------
/src/main/webapp/javascript/includeBuchiGame.js:
--------------------------------------------------------------------------------
 1 | var Editor = {
 2 |   curConfig: {
 3 |     dimensions: [740,480]
 4 |   }
 5 | };
 6 | 
 7 | function initCanvas() {
 8 |   if(Editor.canvas)
 9 |     return;
10 |     Editor.canvas = new $.SvgCanvas("#svgcanvasbuchigame", Editor.curConfig, 'buchigame'); 
11 |     Editor.canvas.setAlphabet(['i,\u03B5'])
12 | }
13 | 
14 | $(document).ready(function() {
15 |   initCanvas();
16 | }); 
17 | 
18 | 


--------------------------------------------------------------------------------
/src/main/webapp/javascript/includeDFA.js:
--------------------------------------------------------------------------------
 1 | var Editor = {
 2 |   curConfig: {
 3 |     dimensions: [740,480]
 4 |   }
 5 | };
 6 | 
 7 | function initCanvas() {
 8 |   if(Editor.canvas)
 9 |     return;
10 |     Editor.canvas = new $.SvgCanvas("#svgcanvasdfa", Editor.curConfig, 'detaut'); 
11 | }
12 | 
13 | $(document).ready(function() {
14 |   initCanvas();
15 | }); 
16 | 
17 | 


--------------------------------------------------------------------------------
/src/main/webapp/javascript/includeDFANFA.js:
--------------------------------------------------------------------------------
 1 | var Editor = {
 2 |   curConfigNfa: {
 3 |     dimensions: [740,480]
 4 |   },
 5 |   curConfigDfa: {
 6 |     dimensions: [740,480]
 7 |   }
 8 | };
 9 | 
10 | function initCanvas() {
11 |   if(!Editor.canvasNfa) {
12 |       Editor.canvasNfa = new $.SvgCanvas("#svgcanvasnfa", Editor.curConfigNfa, 'nondetaut'); 
13 |   }
14 |   if(!Editor.canvasDfa) {
15 |       Editor.canvasDfa = new $.SvgCanvas("#svgcanvasdfa", Editor.curConfigDfa, 'detaut'); 
16 |   }
17 | }
18 | 
19 | $(document).ready(function() {
20 |   initCanvas();
21 | }); 
22 | 
23 | 
24 | 


--------------------------------------------------------------------------------
/src/main/webapp/javascript/includeNFA.js:
--------------------------------------------------------------------------------
 1 | var Editor = {
 2 |   curConfig: {
 3 |     dimensions: [740,480]
 4 |   }
 5 | };
 6 | 
 7 | function initCanvas() {
 8 |   if(Editor.canvas)
 9 |     return;
10 |     Editor.canvas = new $.SvgCanvas("#svgcanvasnfa", Editor.curConfig, 'nondetaut'); 
11 | }
12 | 
13 | $(document).ready(function() {
14 |   initCanvas();
15 | }); 
16 | 
17 | 


--------------------------------------------------------------------------------
/src/main/webapp/javascript/includePL.js:
--------------------------------------------------------------------------------
 1 | var Editor = {
 2 |   curConfig: {
 3 |     dimensions: [730,100]
 4 |   }
 5 | };
 6 | 
 7 | function initCanvas(canvasName, xmlString) {
 8 | 	/*if(Editor.canvas)
 9 | 		return;*/
10 | 	Editor.canvas = new $.SvgCanvas('#'+canvasName, Editor.curConfig); 
11 | 	var example = "<symbstr><strings><string><from>0</from><to>10</to><label>a^p</label></string><string><from>10</from><to>20</to><label>b^p</label></string></strings>";
12 | 	example += "<splits><split><from>0</from><to>10</to><label>x</label></split><split><from>10</from><to>15</to><label>y</label></split><split><from>15</from><to>20</to><label>z</label></split></splits>";
13 | 	example += "</symbstr>"
14 | 	Editor.canvas.readXML(xmlString);	
15 | }
16 | 
17 | $(document).ready(function() {
18 |   initCanvas();
19 | }); 
20 | 
21 | 


--------------------------------------------------------------------------------
/src/main/webapp/javascript/lib/contextmenu.js:
--------------------------------------------------------------------------------
 1 | /**
 2 |  * Package: svgedit.contextmenu
 3 |  * 
 4 |  * Licensed under the Apache License, Version 2
 5 |  * 
 6 |  * Author: Adam Bender
 7 |  */
 8 | // Dependencies:
 9 | // 1) jQuery (for dom injection of context menus)
10 | var svgedit = svgedit || {};
11 | (function() {
12 | 	var self = this;
13 | 	if (!svgedit.contextmenu) {
14 | 		svgedit.contextmenu = {};
15 | 	}
16 | 	self.contextMenuExtensions = {}
17 | 	var addContextMenuItem = function(menuItem) {
18 | 		// menuItem: {id, label, shortcut, action}
19 | 		if (!menuItemIsValid(menuItem)) {
20 | 			console
21 | 					.error("Menu items must be defined and have at least properties: id, label, action, where action must be a function");
22 | 			return;
23 | 		}
24 | 		if (menuItem.id in self.contextMenuExtensions) {
25 | 			console.error('Cannot add extension "' + menuItem.id
26 | 					+ '", an extension by that name already exists"');
27 | 			return;
28 | 		}
29 | 		// Register menuItem action, see below for deferred menu dom injection
30 | 		console.log("Registed contextmenu item: {id:"+ menuItem.id+", label:"+menuItem.label+"}");
31 | 		self.contextMenuExtensions[menuItem.id] = menuItem;
32 | 		//TODO: Need to consider how to handle custom enable/disable behavior
33 | 	}
34 | 	var hasCustomHandler = function(handlerKey) {
35 | 		return self.contextMenuExtensions[handlerKey] && true;
36 | 	}
37 | 	var getCustomHandler = function(handlerKey) {
38 | 		return self.contextMenuExtensions[handlerKey].action;
39 | 	}
40 | 	var injectExtendedContextMenuItemIntoDom = function(menuItem) {
41 | 		if (Object.keys(self.contextMenuExtensions).length == 0) {
42 | 			// all menuItems appear at the bottom of the menu in their own container.
43 | 			// if this is the first extension menu we need to add the separator.
44 | 			$("#cmenu_canvas").append("<li class='separator'>");
45 | 		}
46 | 		var shortcut = menuItem.shortcut || "";
47 | 		$("#cmenu_canvas").append("<li class='disabled'><a href='#" + menuItem.id + "'>"                   
48 | 									+ menuItem.label + "<span class='shortcut'>"
49 | 									+ shortcut + "</span></a></li>");
50 | 	}
51 | 
52 | 	var menuItemIsValid = function(menuItem) {
53 | 		return menuItem && menuItem.id && menuItem.label && menuItem.action && typeof menuItem.action == 'function';
54 | 	}
55 | 	
56 | 	// Defer injection to wait out initial menu processing. This probably goes away once all context
57 | 	// menu behavior is brought here.
58 | 	/*svgEditor.ready(function() {
59 | 		for (menuItem in contextMenuExtensions) {
60 | 			injectExtendedContextMenuItemIntoDom(contextMenuExtensions[menuItem]);
61 | 		}
62 | 	});*/
63 | 	svgedit.contextmenu.resetCustomMenus = function(){self.contextMenuExtensions = {}}
64 | 	svgedit.contextmenu.add = addContextMenuItem;
65 | 	svgedit.contextmenu.hasCustomHandler = hasCustomHandler;
66 | 	svgedit.contextmenu.getCustomHandler = getCustomHandler;
67 | })();
68 | 


--------------------------------------------------------------------------------
/src/main/webapp/javascript/pumpinglemma.js:
--------------------------------------------------------------------------------
  1 | /**
  2 |  * @file Interface for drawing pumping lemma symbolic string splits
  3 |  *
  4 |  * @author Loris D'Antoni [mweaver223@gmail.com]
  5 |  */
  6 | $.SvgCanvas = function(container, config) {
  7 | 
  8 |     var Utils = this.Utils = function() {
  9 | 
 10 | 	var _keyStr = "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/=";
 11 |     }();
 12 |     	
 13 | 	
 14 |     // set up SVG for D3
 15 |     width = config.dimensions[0];
 16 |     height = config.dimensions[1];
 17 | 
 18 |     var svg = d3.select(container)
 19 | 	.append('svg')
 20 | 	.attr('width', width)
 21 | 	.attr('width', width)
 22 | 	.attr('width', width)
 23 | 	.attr('height', height);
 24 | 		
 25 | 	maxWidth=50; 
 26 | 	lineColor = 'gray';
 27 | 	brColor = 'blue';
 28 | 	linesYCoord = 40;
 29 | 	vertLineOff = 10;	
 30 | 	bracketsVertCoord = 62; // Is y cord when flipped
 31 | 	//var bracketsYCoord = 80; // Is y cord when flipped
 32 | 	emptySpace = 15;
 33 | 	measureUnit = ((width-(emptySpace*2))/maxWidth);
 34 | 	textOffsetBr=22;
 35 | 	textOffsetLn=10;
 36 | 	
 37 | 	scaleBracketHeight = 4;
 38 | 	
 39 | 	//Default, needs to be set
 40 | 	//example();
 41 | 	
 42 | 	// Draws a symbolic string split from two sequences of JSon Objects
 43 | 	// The first sequence contains the symbolic representation of the pumped string (e.g. a^p b^p as two separate strings)
 44 | 	// The second sequence contains the coordinates of the points x y z
 45 | 	function example(){			
 46 | 		drawLine(0,25,'a^p');
 47 | 		drawLine(25,50,'b^p');
 48 | 		drawBrLine(0,30, 'x');	
 49 | 		drawBrLine(30,40, 'y');	
 50 | 		drawBrLine(40,50,'z');		
 51 | 	}
 52 | 	
 53 | 	function drawBrLine(relFrom, relTo, label){
 54 | 		
 55 | 		//The plus one avoid overlapping of brackets
 56 | 		var absFrom = emptySpace+relFrom*measureUnit+1;
 57 | 		var absTo = emptySpace+relTo*measureUnit-1;
 58 | 	
 59 | 		var half = ((absTo-absFrom)/2)+absFrom;
 60 | 	
 61 | 		svgHorLine(absFrom+vertLineOff,half-vertLineOff, bracketsVertCoord, brColor);
 62 | 		svgHorLine(half+vertLineOff,absTo-vertLineOff, bracketsVertCoord, brColor);
 63 | 		
 64 | 		pointBracket(half, bracketsVertCoord, brColor);
 65 | 		circLine(absFrom , bracketsVertCoord, brColor, false);
 66 | 		circLine(absTo , bracketsVertCoord, brColor, true);
 67 | 		svgText(half,bracketsVertCoord+textOffsetBr,label);		
 68 | 	}
 69 | 	
 70 | 	function drawLine(relFrom, relTo, label){
 71 | 		
 72 | 		var absFrom = emptySpace+relFrom*measureUnit;
 73 | 		var absTo = emptySpace+relTo*measureUnit;
 74 | 		
 75 | 		var half = ((absTo-absFrom)/2)+absFrom;
 76 | 	
 77 | 		svgHorLine(absFrom,absTo, linesYCoord, lineColor);
 78 | 		svgVerLine(absFrom , linesYCoord, lineColor);
 79 | 		svgVerLine(absTo , linesYCoord, lineColor);
 80 | 		svgText(half,linesYCoord-textOffsetLn,label);
 81 | 	}
 82 | 	
 83 | 	function svgHorLine(f, t, vcord, color){
 84 | 		svg.append('line')
 85 | 			.attr('stroke', color)
 86 | 			.attr('x1', f)
 87 | 			.attr('x2', t)
 88 | 			.attr('y1', vcord)			
 89 | 			.attr('y2', vcord);
 90 | 	}
 91 | 	
 92 | 	function circLine(c, vcord, color, isC){	
 93 | 		var strwidth=1;
 94 | 		if(isC)	
 95 | 			svg.append('path')
 96 | 				.attr('stroke', color)
 97 | 				.attr('stroke-width',strwidth)
 98 | 				.attr('d', 'M'+c+' '+(vcord-vertLineOff)+' Q '+c+' '+vcord+' '+(c-vertLineOff)+' '+vcord+'')
 99 | 				.attr('fill', 'transparent');
100 | 		else
101 | 			svg.append('path')
102 | 				.attr('stroke', color)
103 | 				.attr('stroke-width',strwidth)
104 | 				.attr('d', 'M'+c+' '+(vcord-vertLineOff)+' Q '+c+' '+vcord+' '+(c+vertLineOff)+' '+vcord+'')
105 | 				.attr('fill', 'transparent');
106 | 	}
107 | 	function pointBracket(c, vcord, color){	
108 | 		var strwidth=1;
109 | 		svg.append('path')
110 | 				.attr('stroke', color)
111 | 				.attr('stroke-width',strwidth)
112 | 				.attr('d', 'M'+(c-vertLineOff)+' '+vcord+' Q '+c+' '+vcord+' '+c+' '+(vcord+vertLineOff)+'')
113 | 				.attr('fill', 'transparent');
114 | 		svg.append('path')
115 | 				.attr('stroke', color)
116 | 				.attr('stroke-width',strwidth)
117 | 				.attr('d', 'M'+(c+vertLineOff)+' '+vcord+' Q '+c+' '+vcord+' '+c+' '+(vcord+vertLineOff)+'')
118 | 				.attr('fill', 'transparent');
119 | 	}
120 | 	
121 | 	function svgVerLine(c, vcord, color){
122 | 		
123 | 			svg.append('line')
124 | 				.attr('stroke', color)
125 | 				.attr('x1', c)
126 | 				.attr('x2', c)
127 | 				.attr('y1', vcord-vertLineOff)			
128 | 				.attr('y2', vcord+vertLineOff);
129 | 	}
130 | 	
131 | 	
132 | 	function svgText(x, y, text){	
133 | 			svg.append('text')
134 | 				.attr('x', x)
135 | 				.attr('y', y)
136 | 				.attr('text-anchor','middle')
137 | 				.text(text);
138 | 	}
139 | 	
140 | 	 /**
141 |      * Draws a single instance of a symbolic string from XML
142 |      */
143 | 	 this.readXML = function (xml) {
144 | 
145 | 		var xmlDoc = $('<wrap>'+xml+'</wrap>');
146 | 		maxWidth=0;		
147 | 	
148 | 		xmlDoc.find('string').each(
149 | 			function(){
150 | 				var t = parseInt($(this).find("to").text());
151 | 				if(t>maxWidth)
152 | 					maxWidth=t;
153 | 			}
154 | 		);
155 | 		
156 | 		measureUnit =((width-(emptySpace*2))/maxWidth);
157 | 		
158 | 		xmlDoc.find('string').each(
159 | 			function(){
160 | 				var f = parseInt($(this).find("from").text());
161 | 				var t = parseInt($(this).find("to").text());
162 | 				var label = $(this).find("label").text();
163 | 				drawLine(f, t, label);
164 | 			}
165 | 		);
166 | 		
167 | 		xmlDoc.find('split').each(
168 | 			function(){
169 | 				var f = parseInt($(this).find("from").text());
170 | 				var t = parseInt($(this).find("to").text());
171 | 				var label = $(this).find("label").text();
172 | 				drawBrLine(f, t, label);
173 | 			}
174 | 		);
175 | 	}
176 | }
177 | 


--------------------------------------------------------------------------------
/src/main/webapp/nfa-to-dfa-problem/applet-nfa.html:
--------------------------------------------------------------------------------
 1 | <div>
 2 | 
 3 |   <div id="automata_tutor">         
 4 | 
 5 |   <div id="workarea">		
 6 | 		<div id="svgcanvasnfa"></div>		
 7 |   </div> 	
 8 | 
 9 |   </div>
10 |     <ul id="cmenu_canvas" class="contextMenu">
11 |         <li class="contextMenuLi"><a href="#add">Add State</a></li>
12 |         <li class="contextMenuLi"><a href="#remove">Remove State</a></li>
13 |         <li class="contextMenuLi"><a href="#final">Make Final</a></li>
14 |         <li class="contextMenuLi"><a href="#non-final">Make Non-final</a></li>
15 |         <li class="contextMenuLi"><a href="#init">Make Initial</a></li>
16 |         <li class="contextMenuLi"><a href="#flip">Flip Loop</a></li>
17 |     </ul>
18 | 	
19 | 	<script type='text/javascript'>initCanvas(); Editor.canvas.setAlphabet([])</script>
20 | </div>
21 | 
22 | 
23 | 


--------------------------------------------------------------------------------
/src/main/webapp/nfa-to-dfa-problem/applet-nfa.html~:
--------------------------------------------------------------------------------
 1 | <div>
 2 | 
 3 |   <div id="automata_tutor">         
 4 | 
 5 |   <div id="workarea">		
 6 | 		<div id="svgcanvasnfa"></div>	
 7 | 		<div id="svgcanvasdfa"></div>		
 8 |   </div> 	
 9 | 
10 |   </div>
11 |     <ul id="cmenu_canvas" class="contextMenu">
12 |         <li class="contextMenuLi"><a href="#add">Add State</a></li>
13 |         <li class="contextMenuLi"><a href="#remove">Remove State</a></li>
14 |         <li class="contextMenuLi"><a href="#final">Make Final</a></li>
15 |         <li class="contextMenuLi"><a href="#non-final">Make Non-final</a></li>
16 |         <li class="contextMenuLi"><a href="#init">Make Initial</a></li>
17 |         <li class="contextMenuLi"><a href="#flip">Flip Loop</a></li>
18 |     </ul>
19 | 	
20 | 	<script type='text/javascript'>initCanvas(); Editor.canvasNfa.setAlphabet([])</script>	
21 | 	<script type='text/javascript'>initCanvas(); Editor.canvasDfa.setAlphabet([])</script>
22 | </div>
23 | 
24 | 
25 | 


--------------------------------------------------------------------------------
/src/main/webapp/nfa-to-dfa-problem/applet.html:
--------------------------------------------------------------------------------
 1 | <div>
 2 | 
 3 |   <div id="automata_tutor">         
 4 | 
 5 |   <div id="workarea">		
 6 | 		<div id="svgcanvasnfa"></div>	
 7 | 		<div id="svgcanvasdfa"></div>		
 8 |   </div> 	
 9 | 
10 |   </div>
11 |     <ul id="cmenu_canvas" class="contextMenu">
12 |         <li class="contextMenuLi"><a href="#add">Add State</a></li>
13 |         <li class="contextMenuLi"><a href="#remove">Remove State</a></li>
14 |         <li class="contextMenuLi"><a href="#final">Make Final</a></li>
15 |         <li class="contextMenuLi"><a href="#non-final">Make Non-final</a></li>
16 |         <li class="contextMenuLi"><a href="#init">Make Initial</a></li>
17 |         <li class="contextMenuLi"><a href="#flip">Flip Loop</a></li>
18 |     </ul>
19 | 	
20 | 	<script type='text/javascript'>
21 | 		initCanvas(); 
22 | 		Editor.canvasDfa.setAlphabet([]);
23 | 		Editor.canvasNfa.setAlphabet([]); 
24 | 		Editor.canvasNfa.lockCanvas();
25 | 	</script>	
26 | </div>
27 | 
28 | 
29 | 


--------------------------------------------------------------------------------
/src/main/webapp/nfa-to-dfa-problem/applet.html~:
--------------------------------------------------------------------------------
 1 | <div>
 2 | 
 3 |   <div id="automata_tutor">         
 4 | 
 5 |   <div id="workarea">		
 6 | 		<div id="svgcanvasnfa"></div>	
 7 | 		<div id="svgcanvasdfa"></div>		
 8 |   </div> 	
 9 | 
10 |   </div>
11 |     <ul id="cmenu_canvas" class="contextMenu">
12 |         <li class="contextMenuLi"><a href="#add">Add State</a></li>
13 |         <li class="contextMenuLi"><a href="#remove">Remove State</a></li>
14 |         <li class="contextMenuLi"><a href="#final">Make Final</a></li>
15 |         <li class="contextMenuLi"><a href="#non-final">Make Non-final</a></li>
16 |         <li class="contextMenuLi"><a href="#init">Make Initial</a></li>
17 |         <li class="contextMenuLi"><a href="#flip">Flip Loop</a></li>
18 |     </ul>
19 | 	
20 | 	<script type='text/javascript'>
21 | 		initCanvas(); 
22 | 		Editor.canvasDfa.setAlphabet([]);
23 | 		Editor.canvasNfa.setAlphabet([]); 
24 | 		Editor.canvasNfa.lockCanvas();
25 | 	</script>	
26 | </div>
27 | 
28 | 
29 | 


--------------------------------------------------------------------------------
/src/main/webapp/nfa-to-dfa-problem/create.html:
--------------------------------------------------------------------------------
 1 | <div>
 2 | 
 3 |     <link rel="stylesheet" href="/stylesheets/proto2.css" type="text/css"/>
 4 |     <link rel="stylesheet" href="/stylesheets/interface.css" type="text/css"/>
 5 | 
 6 |     <script type="text/javascript" src="/javascript/lib/d3.min.js"></script>
 7 |     <script type="text/javascript" src="/javascript/lib/jquery-2.1.1.min.js"></script>
 8 |     <script type="text/javascript" src="/javascript/lib/jquery.contextmenu.js"></script>
 9 |     <script type="text/javascript" src="/javascript/lib/browser.js"></script>
10 |     <script type="text/javascript" src="/javascript/lib/contextmenu.js"></script>
11 | 
12 | 	<script type="text/javascript" src="/javascript/interface.js"> </script>
13 | 	<script type="text/javascript" src="/javascript/includeNFA.js"> </script>
14 | 	<script type="text/javascript" src="/javascript/alphabetUtil.js"> </script>
15 | 
16 | 	<script type="text/javascript">
17 | 		function setAlphabet() {
18 | 			var alphabet = parseAlphabet();
19 | 			if(alphabetChecks(alphabet)){
20 | 				Editor.canvas.setAlphabet(alphabet);	
21 | 			}
22 | 		}
23 | 	</script>
24 | 
25 | 	<h2> Create a new NFA to DFA problem </h2>
26 | 
27 | 	<form id="alphabetForm" action="">
28 | 		Note that resetting the alphabet will also reset the whole automaton <br />
29 | 		Alphabet (separated by commas, spaces will be removed): <input type="text" id="alphabetField">
30 | 		<input type="button" value="Set Alphabet" onclick="setAlphabet()">
31 | 	</form>
32 | 
33 | 	<lift:embed what="/nfa-to-dfa-problem/applet-nfa"> </lift:embed>
34 | 	
35 | 	<script type="text/javascript">
36 | 		// On load, set the alphabet to a,b as standard.
37 | 		document.getElementById('alphabetField').value = "a b";
38 | 		setAlphabet();
39 | 	</script>
40 | 
41 | 	<lift:Identity form="POST">
42 | 	<table> 
43 | 		<tr> 
44 | 			<td> </td>
45 | 			<td> <createform:automaton> </createform:automaton> </td>
46 | 		</tr>
47 | 		<tr> 
48 | 			<td> Short Description: </td>
49 | 			<td> <createform:shortdescription> </createform:shortdescription> </td>
50 | 		</tr>
51 | 		<tr> 
52 | 			<td> <createform:submit> </createform:submit> </td>
53 | 			<td> </td>			
54 | 		</tr>
55 | 	</lift:Identity>
56 | </div> 
57 | 


--------------------------------------------------------------------------------
/src/main/webapp/nfa-to-dfa-problem/create.html~:
--------------------------------------------------------------------------------
 1 | <div>
 2 | 
 3 |     <link rel="stylesheet" href="/stylesheets/proto2.css" type="text/css"/>
 4 |     <link rel="stylesheet" href="/stylesheets/interfaceNFA.css" type="text/css"/>
 5 | 
 6 |     <script type="text/javascript" src="/javascript/lib/d3.min.js"></script>
 7 |     <script type="text/javascript" src="/javascript/lib/jquery-2.1.1.min.js"></script>
 8 |     <script type="text/javascript" src="/javascript/lib/jquery.contextmenu.js"></script>
 9 |     <script type="text/javascript" src="/javascript/lib/browser.js"></script>
10 |     <script type="text/javascript" src="/javascript/lib/contextmenu.js"></script>
11 | 
12 | 	<script type="text/javascript" src="/javascript/interfaceNFA.js"> </script>
13 | 	<script type="text/javascript" src="/javascript/includeNFA.js"> </script>
14 | 	<script type="text/javascript" src="/javascript/alphabetUtil.js"> </script>
15 | 
16 | 	<script type="text/javascript">
17 | 		function setAlphabet() {
18 | 			var alphabet = parseAlphabet();
19 | 			if(alphabetChecks(alphabet)){
20 | 				Editor.canvas.setAlphabet(alphabet);	
21 | 			}
22 | 		}
23 | 	</script>
24 | 
25 | 	<h2> Create a new NFA to DFA problem </h2>
26 | 
27 | 	<form id="alphabetForm" action="">
28 | 		Note that resetting the alphabet will also reset the whole automaton <br />
29 | 		Alphabet (separated by commas, spaces will be removed): <input type="text" id="alphabetField">
30 | 		<input type="button" value="Set Alphabet" onclick="setAlphabet()">
31 | 	</form>
32 | 
33 | 	<lift:embed what="/nfa-to-dfa-problem/applet-nfa"> </lift:embed>
34 | 	
35 | 	<script type="text/javascript">
36 | 		// On load, set the alphabet to a,b as standard.
37 | 		document.getElementById('alphabetField').value = "a b";
38 | 		setAlphabet();
39 | 	</script>
40 | 
41 | 	<lift:Identity form="POST">
42 | 	<table> 
43 | 		<tr> 
44 | 			<td> </td>
45 | 			<td> <createform:automaton> </createform:automaton> </td>
46 | 		</tr>
47 | 		<tr> 
48 | 			<td> Short Description: </td>
49 | 			<td> <createform:shortdescription> </createform:shortdescription> </td>
50 | 		</tr>
51 | 		<tr> 
52 | 			<td> <createform:submit> </createform:submit> </td>
53 | 			<td> </td>			
54 | 		</tr>
55 | 	</lift:Identity>
56 | </div> 
57 | 


--------------------------------------------------------------------------------
/src/main/webapp/nfa-to-dfa-problem/edit.html:
--------------------------------------------------------------------------------
 1 | <div>
 2 | 
 3 |     <link rel="stylesheet" href="/stylesheets/proto2.css" type="text/css"/>
 4 |     <link rel="stylesheet" href="/stylesheets/interface.css" type="text/css"/>
 5 | 
 6 |     <script type="text/javascript" src="/javascript/lib/d3.min.js"></script>
 7 |     <script type="text/javascript" src="/javascript/lib/jquery-2.1.1.min.js"></script>
 8 |     <script type="text/javascript" src="/javascript/lib/jquery.contextmenu.js"></script>
 9 |     <script type="text/javascript" src="/javascript/lib/browser.js"></script>
10 |     <script type="text/javascript" src="/javascript/lib/contextmenu.js"></script>
11 | 
12 | 	<script type="text/javascript" src="/javascript/interface.js"> </script>
13 | 	<script type="text/javascript" src="/javascript/includeNFA.js"> </script>
14 | 	<script type="text/javascript" src="/javascript/alphabetUtil.js"> </script>
15 | 
16 | 	<script type="text/javascript">
17 | 		function setAlphabet() {
18 | 			var alphabet = parseAlphabet();
19 | 			if(alphabetChecks(alphabet)){
20 | 				Editor.canvas.setAlphabet(alphabet);	
21 | 			}
22 | 		}
23 | 	</script>
24 | 
25 | 	<h2> Create a new NFA to DFA problem </h2>
26 | 
27 | 	<form id="alphabetForm" action="">
28 | 		Note that resetting the alphabet will also reset the whole automaton <br />
29 | 		Alphabet (separated by commas, spaces will be removed): <input type="text" id="alphabetField">
30 | 		<input type="button" value="Set Alphabet" onclick="setAlphabet()">
31 | 	</form>
32 | 
33 | 	<lift:embed what="/nfa-to-dfa-problem/applet-nfa"> </lift:embed>
34 | 	
35 | 	<script type="text/javascript">
36 | 		// On load, set the alphabet to a,b as standard.
37 | 		document.getElementById('alphabetField').value = "a b";
38 | 		setAlphabet();
39 | 	</script>
40 | 
41 | 	<lift:Identity form="POST">
42 | 	<editform:setupscript> </editform:setupscript>
43 | 	<table> 
44 | 		<tr> 
45 | 			<td> </td>
46 | 			<td> <editform:automaton> </editform:automaton> </td>
47 | 		</tr>
48 | 		<tr> 
49 | 			<td> Short Description: </td>
50 | 			<td> <editform:shortdescription> </editform:shortdescription> </td>
51 | 		</tr>
52 | 		<tr> 
53 | 			<td> <editform:submit> </editform:submit> </td>
54 | 			<td> </td>			
55 | 		</tr>
56 | 	</lift:Identity>
57 | </div> 
58 | 


--------------------------------------------------------------------------------
/src/main/webapp/nfa-to-dfa-problem/solve.html:
--------------------------------------------------------------------------------
 1 | <div>
 2 | 	<h2> Solve NFA to DFA problem </h2>
 3 | 	Construct a DFA that recognizes the language accepted by the following NFA
 4 | 	<dfaeditform:alphabettext> </dfaeditform:alphabettext>:</br> 
 5 | 	<dfaeditform:problemdescription> </dfaeditform:problemdescription> </br></br>
 6 | 
 7 |     <link rel="stylesheet" href="/stylesheets/proto2.css" type="text/css"/>
 8 |     <link rel="stylesheet" href="/stylesheets/interface.css" type="text/css"/>
 9 | 
10 |     <script type="text/javascript" src="/javascript/lib/d3.min.js"></script>
11 |     <script type="text/javascript" src="/javascript/lib/jquery-2.1.1.min.js"></script>
12 |     <script type="text/javascript" src="/javascript/lib/jquery.contextmenu.js"></script>
13 |     <script type="text/javascript" src="/javascript/lib/browser.js"></script>
14 |     <script type="text/javascript" src="/javascript/lib/contextmenu.js"></script>
15 | 
16 | 	<script type="text/javascript" src="/javascript/interface.js"> </script>
17 | 	<script type="text/javascript" src="/javascript/includeDFANFA.js"> </script>
18 | 
19 | 	
20 | 	<lift:embed what="/nfa-to-dfa-problem/applet"> </lift:embed>
21 | 
22 | 	
23 | 	<form class="lift:form">
24 | 		<nfatodfaform:setupscript> </nfatodfaform:setupscript>
25 | 		<nfatodfaform:submitbutton> </nfatodfaform:submitbutton>
26 | 		<nfatodfaform:returnlink> </nfatodfaform:returnlink>
27 | 	</form>
28 | 
29 | 	<div id="feedbackdisplay" style="display:none" class="gradefeed">
30 | 		<h3> Grade: <span id="grade" /> </h3>
31 | 		<h3> Feedback: </h3>
32 | 		<ul>
33 | 			<div id="feedback"/>
34 | 		</ul>
35 | 	</div>	
36 | 
37 | </div> 
38 | 


--------------------------------------------------------------------------------
/src/main/webapp/nfa-to-dfa-problem/solve.html~:
--------------------------------------------------------------------------------
 1 | <div>
 2 | 	<h2> Solve NFA to DFA problem </h2>
 3 | 	<h3> Solve NFA to DFA problem </h3>
 4 | 	Construct a DFA that recognizes the language accepted by the following NFA
 5 | 	<dfaeditform:alphabettext> </dfaeditform:alphabettext>:</br> 
 6 | 	<dfaeditform:problemdescription> </dfaeditform:problemdescription> </br></br>
 7 | 
 8 | 	
 9 | 	<lift:embed what="/nfa-to-dfa-problem/applet"> </lift:embed>
10 | 
11 | 	
12 | 	<form class="lift:form">
13 | 		<nfatodfaform:setupscript> </nfatodfaform:setupscript>
14 | 		<nfatodfaform:submitbutton> </nfatodfaform:submitbutton>
15 | 	</form>
16 | 
17 | 	<div id="feedbackdisplay" style="display:none" class="gradefeed">
18 | 		<h3> Grade: <span id="grade" /> </h3>
19 | 		<h3> Feedback: </h3>
20 | 		<ul>
21 | 			<div id="feedback"/>
22 | 		</ul>
23 | 	</div>	
24 | 
25 | </div> 
26 | 


--------------------------------------------------------------------------------
/src/main/webapp/practicesets/index.html:
--------------------------------------------------------------------------------
 1 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 2 | <html xmlns="http://www.w3.org/1999/xhtml">
 3 | <head><meta content="text/html; charset=UTF-8" http-equiv="content-type" /><title>Home</title></head>
 4 | <body class="lift:content_id=main">
 5 | <div id="main" class="lift:surround?with=default;at=content">
 6 | 
 7 | 	<lift:Practicesets.renderindex> </lift:PracticeSets>
 8 | 
 9 | </div>
10 | </body>
11 | </html>
12 | 


--------------------------------------------------------------------------------
/src/main/webapp/practicesets/solve.html:
--------------------------------------------------------------------------------
 1 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 2 | <html xmlns="http://www.w3.org/1999/xhtml">
 3 | <head><meta content="text/html; charset=UTF-8" http-equiv="content-type" /><title>Home</title></head>
 4 | <body class="lift:content_id=main">
 5 | <div id="main" class="lift:surround?with=default;at=content">
 6 | 
 7 | 	<lift:Courses.rendersolvepractice> </lift:Courses>
 8 | 
 9 | </div>
10 | </body>
11 | </html>
12 | 


--------------------------------------------------------------------------------
/src/main/webapp/preview/index.html:
--------------------------------------------------------------------------------
 1 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 2 | <html xmlns="http://www.w3.org/1999/xhtml">
 3 | <head><meta content="text/html; charset=UTF-8" http-equiv="content-type" /><title>Home</title></head>
 4 | <body class="lift:content_id=main">
 5 | <div id="main" class="lift:surround?with=default;at=content">
 6 | <lift:Problems.renderpublicproblems />
 7 | 	    </div>
 8 |   </body>
 9 | </html>
10 | 


--------------------------------------------------------------------------------
/src/main/webapp/preview/solve.html:
--------------------------------------------------------------------------------
 1 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 2 | <html xmlns="http://www.w3.org/1999/xhtml">
 3 | <head><meta content="text/html; charset=UTF-8" http-equiv="content-type" /><title>Home</title></head>
 4 | <body class="lift:content_id=main">
 5 | <div id="main" class="lift:surround?with=default;at=content">
 6 | <lift:Problems.rendersolvepublicproblem />
 7 | 	    </div>
 8 |   </body>
 9 | </html>
10 | 


--------------------------------------------------------------------------------
/src/main/webapp/problems/create.html:
--------------------------------------------------------------------------------
 1 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 2 | <html xmlns="http://www.w3.org/1999/xhtml">
 3 | <head><meta content="text/html; charset=UTF-8" http-equiv="content-type" /><title>Home</title></head>
 4 | <body class="lift:content_id=main">
 5 | <div id="main" class="lift:surround?with=default;at=content">
 6 | 
 7 | <lift:Problems.rendercreate />
 8 | 
 9 | 	    </div>
10 |   </body>
11 | </html>


--------------------------------------------------------------------------------
/src/main/webapp/problems/edit.html:
--------------------------------------------------------------------------------
 1 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 2 | <html xmlns="http://www.w3.org/1999/xhtml">
 3 | <head><meta content="text/html; charset=UTF-8" http-equiv="content-type" /><title>Home</title></head>
 4 | <body class="lift:content_id=main">
 5 | <div id="main" class="lift:surround?with=default;at=content">
 6 | 
 7 | <lift:Problems.renderedit />
 8 | 	    </div>
 9 |   </body>
10 | </html>
11 | 


--------------------------------------------------------------------------------
/src/main/webapp/problems/index.html:
--------------------------------------------------------------------------------
 1 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 2 | <html xmlns="http://www.w3.org/1999/xhtml">
 3 | <head><meta content="text/html; charset=UTF-8" http-equiv="content-type" /><title>Home</title></head>
 4 | <body class="lift:content_id=main">
 5 | <div id="main" class="lift:surround?with=default;at=content">
 6 | <h2> Problems created by you </h2>
 7 | <lift:Problems.renderIndex />
 8 | 	    </div>
 9 |   </body>
10 | </html>


--------------------------------------------------------------------------------
/src/main/webapp/problems/solve.html:
--------------------------------------------------------------------------------
 1 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 2 | <html xmlns="http://www.w3.org/1999/xhtml">
 3 | <head><meta content="text/html; charset=UTF-8" http-equiv="content-type" /><title>Home</title></head>
 4 | <body class="lift:content_id=main">
 5 | <div id="main" class="lift:surround?with=default;at=content">
 6 | 
 7 | <lift:Problems.solve />
 8 | 	    </div>
 9 |   </body>
10 | </html>


--------------------------------------------------------------------------------
/src/main/webapp/problemsets/addproblem.html:
--------------------------------------------------------------------------------
 1 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 2 | <html xmlns="http://www.w3.org/1999/xhtml">
 3 | <head><meta content="text/html; charset=UTF-8" http-equiv="content-type" /><title>Home</title></head>
 4 | <body class="lift:content_id=main">
 5 | <div id="main" class="lift:surround?with=default;at=content">
 6 | <h2> Problems created by you </h2>
 7 | <lift:Problemsets.renderaddproblem />
 8 | 	    </div>
 9 |   </body>
10 | </html>
11 | 


--------------------------------------------------------------------------------
/src/main/webapp/problemsets/create.html:
--------------------------------------------------------------------------------
 1 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 2 | <html xmlns="http://www.w3.org/1999/xhtml">
 3 | <head><meta content="text/html; charset=UTF-8" http-equiv="content-type" /><title>Home</title></head>
 4 | <body class="lift:content_id=main">
 5 | <div id="main" class="lift:surround?with=default;at=content">
 6 | 	<h2> Create new problem set </h2>
 7 | 	<lift:Problemsets.rendercreate form="POST" />
 8 | 	<table>
 9 | 		<tr>
10 | 			<td> Name: </td>
11 | 			<td> <problemsetcreate:namefield> </problemsetcreate:namefield> </td>
12 | 		</tr>
13 | 		<tr>
14 | 			<td> </td>
15 | 			<td> <problemsetcreate:createbutton> </problemsetcreate:createbutton> </td>
16 | 		</tr>
17 | 	</table>
18 | 	</lift:Problemsets>
19 | 
20 | </div>
21 | </body>
22 | </html>
23 | 


--------------------------------------------------------------------------------
/src/main/webapp/problemsets/edit.html:
--------------------------------------------------------------------------------
 1 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 2 | <html xmlns="http://www.w3.org/1999/xhtml">
 3 | <head><meta content="text/html; charset=UTF-8" http-equiv="content-type" /><title>Home</title></head>
 4 | <body class="lift:content_id=main">
 5 | 	<div id="main" class="lift:surround?with=default;at=content">
 6 | 		<h2> Edit problem set </h2>
 7 | 		<lift:Problemsets.renderedit />
 8 | 	</div>
 9 | </body>
10 | </html>
11 | 


--------------------------------------------------------------------------------
/src/main/webapp/problemsets/index.html:
--------------------------------------------------------------------------------
 1 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 2 | <div id="main" class="lift:surround?with=default;at=content">
 3 | <h2> Problemsets created by you </h2>
 4 | <lift:Problemsets.renderindex>
 5 | <table>
 6 | 	<tr>
 7 | 		<th>Short description</th>
 8 | 		<th></th>
 9 | 		<th></th>
10 | 		<th></th>
11 | 	</tr>
12 | 	<tr lift:bind="problemsets:foreach">
13 | 		<td><problemset:name></problemset:name></td>
14 | 		<td><problemset:togglepracticesetlink></problemset:togglepracticesetlink></td>
15 | 		<td><problemset:editlink></problemset:editlink></td>
16 | 		<td><problemset:deletelink></problemset:deletelink></td>
17 | 	</tr>
18 | </table>
19 | 
20 | <p lift:bind="problemsets:createnewlink">Create new problemset</p>
21 | 
22 | </lift:Problemsets.renderindex>
23 | 	    </div>
24 |   </body>
25 | 


--------------------------------------------------------------------------------
/src/main/webapp/problemsets/poseproblem.html:
--------------------------------------------------------------------------------
 1 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 2 | <html xmlns="http://www.w3.org/1999/xhtml">
 3 | <head><meta content="text/html; charset=UTF-8" http-equiv="content-type" /><title>Home</title></head>
 4 | <body class="lift:content_id=main">
 5 | <div id="main" class="lift:surround?with=default;at=content">
 6 | 		<h2> Pose a problem </h2>
 7 | 		<lift:Problemsets.renderposeproblem form="POST">
 8 | 			<table>
 9 | 				<tr>
10 | 					<td> Max Grade: </td>
11 | 					<td> <poseproblemform:maxgradefield> </poseproblemform:maxgradefield> </td>
12 | 				</tr>
13 | 				<tr>
14 | 					<td> Number of attempts allowed: </td>
15 | 					<td> <poseproblemform:attemptsfield> </poseproblemform:attemptsfield>
16 | 				</tr>				
17 | 				<tr>
18 | 					<td> </td>
19 | 					<td> <poseproblemform:posebutton> </poseproblemform:posebutton> </td>
20 | 				</tr>
21 | 			</table>
22 | 		</lift:Problemsets>
23 | 	</div>
24 |   </body>
25 | </html>
26 | 


--------------------------------------------------------------------------------
/src/main/webapp/pumping-lemma-problem/create.html:
--------------------------------------------------------------------------------
 1 | <div>
 2 | 	<script type="text/javascript" src="/javascript/alphabetUtil.js"> </script>
 3 | 
 4 | 	<h2> Create a new Pumping Lemma problem of the form L={a^i1 b^i2... such that i1=i2...} </h2>
 5 | 
 6 | 	<h4> Language Syntax </h4>
 7 | 
 8 | 	Please have your language description <emph>L</emph> be over the grammar <emph>L:= a^i | a | a* | a+ | Sigma* | Sigma+ | L L</emph> 
 9 | 	where <emph>a</emph> is a symbol in Sigma and <emph>i</emph> is a free integer variable.
10 | 	<br /> 
11 | 	Please let your constraint <emph>C</emph> be over the the grammar C:= i>j | i=j | i>=j | (C or C) | (C and C)
12 | 	<br />
13 | 
14 | 	<h4> Problem Definition </h4>
15 | 
16 | 	<lift:Identity form="POST">
17 | 	<table> 
18 | 		<tr>
19 | 			<td> Alphabet (separated by spaces): </td>
20 | 			<td> <createform:alphabetfield> </createform:alphabetfield> </td>
21 | 		</tr> 
22 | 		<tr>
23 | 			<td> Language Description (e.g. a^n b^m): </td>
24 | 			<td> <createform:languagefield> </createform:languagefield> </td>
25 | 		<tr>
26 | 			<td> Constraint Description (e.g. n=m): </td>	
27 | 			<td> <createform:constraintfield> </createform:constraintfield> </td>
28 | 		</tr>
29 | 		<tr>
30 | 			<td> Pumping String (e.g. a^p b^p): </td>	
31 | 			<td> <createform:pumpingstrfield> </createform:pumpingstrfield> </td>
32 | 		</tr> 
33 | 		<tr>
34 | 			<td> Short Description: </td>
35 | 			<td> <createform:shortdescription> </createform:shortdescription> </td>
36 | 		</tr>
37 | 		<tr> 
38 | 			<td> Long Description (will appear in the problem in the form of "Construct a regular expression that recognizes the following language: {long description}"): </td>
39 | 			<td> <createform:longdescription> </createform:longdescription> </td>
40 | 		</tr>
41 | 		<tr> 
42 | 			<td> </td>
43 | 			<td> <createform:submit> </createform:submit> </td>
44 | 		</tr>
45 | 	</lift:Identity>
46 | 
47 | 	<div id="feedbackdisplay" style="display:none" class="gradefeed">
48 | 		<h3> Parsing Error: </h3>
49 | 		<ul>
50 | 			<div id="parsingerror"/>
51 | 		</ul>
52 | 	</div>
53 | </div> 
54 | 


--------------------------------------------------------------------------------
/src/main/webapp/pumping-lemma-problem/solve.html:
--------------------------------------------------------------------------------
 1 | <div>
 2 | 			
 3 | 	<link rel="stylesheet" href="/stylesheets/pumpinglemma.css" type="text/css"/>
 4 | 
 5 | 	<script type="text/javascript" src="/javascript/lib/d3.min.js"></script>
 6 | 	<script type="text/javascript" src="/javascript/includePL.js"></script>
 7 | 	<script type="text/javascript" src="/javascript/pumpinglemma.js"></script>
 8 | 
 9 | 
10 | 	<h3> Pumping Lemma problem </h3>
11 | 	
12 | 	<div class="probdesc"> 
13 | 	Provide a pumping string for the language	
14 | 	over the alphabet
15 | 	<plsolveform:alphabettext> </plsolveform:alphabettext>:</br> 
16 | 	<div align="center">
17 | 		{ <plsolveform:languagedescription> </plsolveform:languagedescription>  | 
18 | 		<plsolveform:constraintdescription> </plsolveform:constraintdescription> }
19 | 	</div>
20 | 	</div>
21 | 
22 | 	<form class="lift:form">
23 | 		Your pumping string (e.g. a^p b^(p+1)): 
24 | 		<plsolveform:pumpingstringfield> </plsolveform:pumpingstringfield> <br />		
25 | 		<plsolveform:generatesplitsbutton> </plsolveform:generatesplitsbutton>
26 | 		
27 | 	</form>
28 | 
29 | 	<div id="splitdisplay" style="display:none" class="probdesc">
30 | 		<form class="lift:form">			
31 | 			<div id="splitsdiv"></div>		
32 | 		</form>	
33 | 	</div>
34 | 	
35 | 	
36 | 	<div id="feedbackdisplay" style="display:none" class="gradefeed">
37 | 		<h3> Grade: <span id="grade" /> </h3>
38 | 		<h3> Feedback: </h3>
39 | 		<ul>
40 | 			<div id="feedback"/>
41 | 		</ul>
42 | 	</div>
43 | 	
44 | 	<plsolveform:returnlink> </plsolveform:returnlink> <br />
45 | 	
46 | 
47 | </div> 


--------------------------------------------------------------------------------
/src/main/webapp/static/index.html:
--------------------------------------------------------------------------------
 1 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 2 | <html xmlns="http://www.w3.org/1999/xhtml">
 3 |   <head><meta content="text/html; charset=UTF-8" http-equiv="content-type" /><title>Home</title></head>
 4 |   <body class="lift:content_id=main">
 5 |     <div id="main" class="lift:surround?with=default;at=content">
 6 |       Static content... everything you put in the /static
 7 |       directory will be served without additions to SiteMap
 8 |     </div>
 9 |   </body>
10 | </html>
11 | 
12 | 


--------------------------------------------------------------------------------
/src/main/webapp/stylesheets/images/ui-bg_diagonals-thick_18_b81900_40x40.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AutomataTutor/automatatutor-frontend/5d7b2f3639ec544bead7ca28995aecb87738c421/src/main/webapp/stylesheets/images/ui-bg_diagonals-thick_18_b81900_40x40.png


--------------------------------------------------------------------------------
/src/main/webapp/stylesheets/images/ui-bg_diagonals-thick_20_666666_40x40.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AutomataTutor/automatatutor-frontend/5d7b2f3639ec544bead7ca28995aecb87738c421/src/main/webapp/stylesheets/images/ui-bg_diagonals-thick_20_666666_40x40.png


--------------------------------------------------------------------------------
/src/main/webapp/stylesheets/images/ui-bg_flat_10_000000_40x100.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AutomataTutor/automatatutor-frontend/5d7b2f3639ec544bead7ca28995aecb87738c421/src/main/webapp/stylesheets/images/ui-bg_flat_10_000000_40x100.png


--------------------------------------------------------------------------------
/src/main/webapp/stylesheets/images/ui-bg_glass_100_f6f6f6_1x400.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AutomataTutor/automatatutor-frontend/5d7b2f3639ec544bead7ca28995aecb87738c421/src/main/webapp/stylesheets/images/ui-bg_glass_100_f6f6f6_1x400.png


--------------------------------------------------------------------------------
/src/main/webapp/stylesheets/images/ui-bg_glass_100_fdf5ce_1x400.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AutomataTutor/automatatutor-frontend/5d7b2f3639ec544bead7ca28995aecb87738c421/src/main/webapp/stylesheets/images/ui-bg_glass_100_fdf5ce_1x400.png


--------------------------------------------------------------------------------
/src/main/webapp/stylesheets/images/ui-bg_glass_65_ffffff_1x400.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AutomataTutor/automatatutor-frontend/5d7b2f3639ec544bead7ca28995aecb87738c421/src/main/webapp/stylesheets/images/ui-bg_glass_65_ffffff_1x400.png


--------------------------------------------------------------------------------
/src/main/webapp/stylesheets/images/ui-bg_highlight-soft_100_eeeeee_1x100.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AutomataTutor/automatatutor-frontend/5d7b2f3639ec544bead7ca28995aecb87738c421/src/main/webapp/stylesheets/images/ui-bg_highlight-soft_100_eeeeee_1x100.png


--------------------------------------------------------------------------------
/src/main/webapp/stylesheets/images/ui-bg_highlight-soft_75_cccccc_1x100.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AutomataTutor/automatatutor-frontend/5d7b2f3639ec544bead7ca28995aecb87738c421/src/main/webapp/stylesheets/images/ui-bg_highlight-soft_75_cccccc_1x100.png


--------------------------------------------------------------------------------
/src/main/webapp/stylesheets/images/ui-bg_highlight-soft_75_ffe45c_1x100.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AutomataTutor/automatatutor-frontend/5d7b2f3639ec544bead7ca28995aecb87738c421/src/main/webapp/stylesheets/images/ui-bg_highlight-soft_75_ffe45c_1x100.png


--------------------------------------------------------------------------------
/src/main/webapp/stylesheets/images/ui-icons_222222_256x240.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AutomataTutor/automatatutor-frontend/5d7b2f3639ec544bead7ca28995aecb87738c421/src/main/webapp/stylesheets/images/ui-icons_222222_256x240.png


--------------------------------------------------------------------------------
/src/main/webapp/stylesheets/images/ui-icons_228ef1_256x240.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AutomataTutor/automatatutor-frontend/5d7b2f3639ec544bead7ca28995aecb87738c421/src/main/webapp/stylesheets/images/ui-icons_228ef1_256x240.png


--------------------------------------------------------------------------------
/src/main/webapp/stylesheets/images/ui-icons_454545_256x240.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AutomataTutor/automatatutor-frontend/5d7b2f3639ec544bead7ca28995aecb87738c421/src/main/webapp/stylesheets/images/ui-icons_454545_256x240.png


--------------------------------------------------------------------------------
/src/main/webapp/stylesheets/images/ui-icons_ef8c08_256x240.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AutomataTutor/automatatutor-frontend/5d7b2f3639ec544bead7ca28995aecb87738c421/src/main/webapp/stylesheets/images/ui-icons_ef8c08_256x240.png


--------------------------------------------------------------------------------
/src/main/webapp/stylesheets/images/ui-icons_ffd27a_256x240.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AutomataTutor/automatatutor-frontend/5d7b2f3639ec544bead7ca28995aecb87738c421/src/main/webapp/stylesheets/images/ui-icons_ffd27a_256x240.png


--------------------------------------------------------------------------------
/src/main/webapp/stylesheets/images/ui-icons_ffffff_256x240.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AutomataTutor/automatatutor-frontend/5d7b2f3639ec544bead7ca28995aecb87738c421/src/main/webapp/stylesheets/images/ui-icons_ffffff_256x240.png


--------------------------------------------------------------------------------
/src/main/webapp/stylesheets/interface.css:
--------------------------------------------------------------------------------
  1 | svg {
  2 |   cursor: default;
  3 |   -webkit-user-select: none;
  4 |   -moz-user-select: none;
  5 |   -ms-user-select: none;
  6 |   -o-user-select: none;
  7 |   user-select: none;
  8 | 
  9 |   background: #FFFFFF;
 10 | }
 11 | 
 12 | svg:not(.active):not(.ctrl) {
 13 |   cursor: crosshair;
 14 | }
 15 | 
 16 | circle.hiddenTrash {
 17 |   opacity: 0;
 18 |   stroke: #B24545;
 19 |   stroke-width: 2px;
 20 | }
 21 | 
 22 | rect.delete {
 23 |   fill: #FFE682;
 24 |   stroke: #E6B800;
 25 |   stroke-width: 2px;
 26 |   cursor: pointer;
 27 | }
 28 | 
 29 | text.warning {
 30 |   fill: #B20000;
 31 | }
 32 | 
 33 | path.link {
 34 |   fill: none;
 35 |   stroke: #000;
 36 |   stroke-width: 2.5px;
 37 |   cursor: default;
 38 | }
 39 | 
 40 | path.link:hover {
 41 |   stroke-width: 3.5px;
 42 | }
 43 | 
 44 | 
 45 | path.link.expanded {
 46 |   stroke-width: 3.5px;
 47 | }
 48 | 
 49 | 
 50 | svg:not(.active):not(.ctrl) path.link {
 51 |   cursor: pointer;
 52 | }
 53 | 
 54 | path.initLine {
 55 |   pointer-events: none;
 56 | }
 57 | 
 58 | path.link.hoverPath {
 59 |   opacity: 0;
 60 |   stroke-width: 15px;
 61 | }
 62 | 
 63 | path.dragline {
 64 |   pointer-events: none;
 65 |   stroke-dasharray: 10,5;
 66 | }
 67 | 
 68 | path.selected.hidden {
 69 |   stroke-width: 0;
 70 | }
 71 | 
 72 | path.hidden {
 73 |   stroke-width: 0;
 74 | }
 75 | 
 76 | .hidden {
 77 |   visibility: hidden;
 78 |   font-size: 0px;
 79 | }
 80 | 
 81 | circle.node {
 82 |   stroke-width: 1.5px;
 83 |   cursor: pointer;
 84 |   fill: #82CDFF;
 85 | }
 86 | 
 87 | circle.node.accepting {
 88 |   stroke: #000 !important;
 89 |   stroke-width: 3px;
 90 |   fill: #8AE68A;
 91 | }
 92 | 
 93 | circle.node.hidden {
 94 |   stroke-width: 0px;
 95 |   fill: none;
 96 | }
 97 | 
 98 | circle.hidden {
 99 |   stroke-width: 0px;
100 |   fill: none;
101 | }
102 | 
103 | circle.winningp0 {
104 |   fill: #82CDFF;
105 | }
106 | 
107 | circle.winningp1 {
108 |   fill: #FF828F;
109 | }
110 | 
111 | rect.node {
112 |   stroke-width: 1.5px;
113 |   cursor: pointer;
114 |   fill: #82CDFF;
115 | }
116 | 
117 | rect.node.accepting {
118 |   stroke: #000 !important;
119 |   stroke-width: 3px;
120 |   fill: #8AE68A;
121 | }
122 | 
123 | rect.node.hidden {
124 |   stroke-width: 0px;
125 |   fill: none;
126 | }
127 | 
128 | rect.winningp0 {
129 |   fill: #82CDFF;
130 | }
131 | 
132 | rect.winningp1 {
133 |   fill: #FF828F;
134 | }
135 | 
136 | rect.hidden {
137 |   stroke-width: 0px;
138 |   fill: none;
139 | }
140 | 
141 | circle.hoverMenu {
142 |   opacity: 0;
143 |   pointer-events: none;
144 | }
145 | 
146 | circle.hoverMenu.visible {
147 |   opacity: .9;
148 |   pointer-events: all;
149 |   cursor: crosshair;
150 |   fill: #E0E0E0;
151 | }
152 | 
153 | text.hoverMenu {
154 |   visibility: hidden;
155 |   pointer-events: none;
156 |   fill: #000;
157 | }
158 | 
159 | text.hoverMenu.visible {
160 |   visibility: visible;
161 |   text-anchor: middle;
162 |   pointer-events: all;
163 |   cursor: pointer;
164 | }
165 | 
166 | text.hoverMenu.visible:hover {
167 |   font-size: 18px;
168 | }
169 | 
170 | path.hoverMenu {
171 |   visibility: hidden;
172 |   pointer-events: none;
173 |   fill: none;
174 |   stroke: #000;
175 |   stroke-width: 2.5px;
176 |   cursor: default;
177 | }
178 | 
179 | path.hoverMenu.visible {
180 |   visibility: visible;
181 |   pointer-events: all;
182 |   cursor: pointer;
183 | }
184 | 
185 | path.hoverMenu.visible:hover {
186 |   stroke-width: 3.5px;
187 | }
188 | 
189 | text {
190 |   font: 15px sans-serif;
191 |   pointer-events: none;
192 | }
193 | 
194 | .transLabel {
195 |   text-anchor: middle;
196 |   pointer-events: all;
197 |   cursor: pointer;
198 | }
199 | 
200 | .transLabel:hover {
201 |   font-size: 18px;
202 | }
203 | 
204 | text.id {
205 |   text-anchor: middle;
206 |   font-weight: bold;
207 |   pointer-events: none;
208 | }
209 | 
210 | /* Generic context menu styles */
211 | .contextMenu {
212 |     position: absolute;
213 |     z-index: 999;
214 |     border: solid 1px rgba(0,0,0,.33);
215 |     background: rgba(255,255,255,.95);
216 |     padding: 5px 0;
217 |     margin: 0px;
218 |     display: none;
219 |     font: 12px/15px Lucida Sans, Helvetica, Verdana, sans-serif;
220 |     border-radius: 5px;
221 |     -moz-border-radius: 5px;
222 |     -moz-box-shadow: 2px 5px 10px rgba(0,0,0,.3);
223 |     -webkit-box-shadow: 2px 5px 10px rgba(0,0,0,.3);
224 |     box-shadow: 2px 5px 10px rgba(0,0,0,.3);
225 | }
226 | 
227 | .contextMenu > li {
228 |     list-style: none;
229 |     padding: 0px;
230 |     margin: 0px;
231 | }
232 | 
233 | .contextMenu .shortcut {
234 |     width: 115px;
235 |     text-align:right;
236 |     float:right;
237 | }
238 | 
239 | .contextMenuLi > a {
240 |     -moz-user-select: none;
241 |     -webkit-user-select: none;
242 |     color: #222;
243 |     text-decoration: none;
244 |     display: block;
245 |     line-height: 20px;
246 |     height: 20px;
247 |     background-position: 6px center;
248 |     background-repeat: no-repeat;
249 |     outline: none;
250 |     padding: 0px 15px 1px 20px;
251 | }
252 | 
253 | .contextMenuLi:hover > a {
254 |     background-color: #2e5dea;
255 |     color: white;
256 |     cursor: default;
257 | }
258 | 
259 | .contextMenuLi.disabled > a {
260 |     color: #999;
261 | }
262 | 
263 | .contextMenuLi.disabled:hover > a {
264 |     background-color: transparent;
265 | }
266 | 
267 | .contextMenu LI.separator {
268 |     border-top: solid 1px #E3E3E3;
269 |     padding-top: 5px;
270 |     margin-top: 5px;
271 | }
272 | 
273 | .boxed {
274 |   border: 1px solid black ;
275 |   padding: 3px
276 | }
277 |   
278 | .thumbsup , .thumbsdown {
279 |   width:20px;
280 |   height:20px;
281 | }
282 | 
283 | #navlist li{
284 | display: inline;
285 | list-style-type: none;
286 | padding-right: 25px;
287 | }
288 | 
289 | #navlist li li{
290 | display: inline;
291 | list-style-type: none;
292 | padding-right: 25px;
293 | }
294 | 
295 | #navlist ul{
296 | margin: 0px 0.5em 0.2em 0px;
297 | }
298 | 
299 | #navlist hr{
300 | margin: 0 0 0.3em
301 | }


--------------------------------------------------------------------------------
/src/main/webapp/stylesheets/proto2.css:
--------------------------------------------------------------------------------
  1 | hr, h1, h2, h3 {
  2 | margin: 0 0 5px 0 !important;
  3 | }
  4 | 
  5 | #autansdiv {
  6 | margin-top: 5px;
  7 | padding-top: 5px !important;
  8 | }
  9 | 
 10 | #probdesc {
 11 | margin: 0 0 0 0 !important;
 12 | padding: 5px 0 5px 10px !important;
 13 | }
 14 | 
 15 | fieldset {
 16 | padding: 0.5em 1.4em 0.5em 1.4em;
 17 | margin: 0 0 0.5em 0;
 18 | }
 19 | 
 20 | #ProblemSubmit, #ProblemGiveUp {
 21 | padding: 3px 6px !important;
 22 | }
 23 | 
 24 | #automata_tutor {
 25 |     position: relative;
 26 |     width: 755px;
 27 | }
 28 | 
 29 | #automata_tutor #workarea {
 30 |     width: 750px;   
 31 |     background-color: #A0A0A0;
 32 |     border: 1px solid #808080;
 33 |     overflow: auto;
 34 | }
 35 | 
 36 | #automata_tutor #svgcanvas {
 37 |     background-color: #FFFFFF;
 38 |     width: 740px;
 39 |     height: 480px;
 40 |     margin: 5px;
 41 | }
 42 | 
 43 | #automata_tutor #svgcanvasdfa {
 44 |     background-color: #FFFFFF;
 45 |     width: 740px;
 46 |     height: 480px;
 47 |     margin: 5px;
 48 | }
 49 | 
 50 | #automata_tutor #svgcanvasnfa {
 51 |     background-color: #FFFFFF;
 52 |     width: 740px;
 53 |     height: 480px;
 54 |     margin: 5px;
 55 | }
 56 | 
 57 | #automata_tutor .tools_panel {
 58 |     margin: 10px;
 59 |     float: left;
 60 | }
 61 | 
 62 | #automata_tutor .toolbox {
 63 |     float: inherit;
 64 | }
 65 | 
 66 | .tool_sep {
 67 |     float: inherit;
 68 | 	width: 1px;
 69 | 	background: #888;
 70 | 	border-left: 1px outset #EEE;
 71 | 	margin: 2px 3px;
 72 | 	padding: 0;
 73 | 	height: 24px;
 74 | }
 75 | 
 76 | #automata_tutor .clear {
 77 |     clear: both;
 78 | }
 79 | 
 80 | .tool_button :hover {
 81 |   background-color: #bababa
 82 | }
 83 | 
 84 | .tool_button_current {
 85 |   background-color: #a0a0a0
 86 | }
 87 | 
 88 | #automata_tutor .disabled {
 89 |   opacity: 0.5;
 90 | }
 91 | 
 92 | #automata_tutor .enabled :hover {
 93 |   background-color: #bababa
 94 | }
 95 | 
 96 | /* svg-editor.css */
 97 | 
 98 | /* Rulers
 99 | ��������������������������������������*/
100 | 
101 | 
102 | 
103 | /* Main button
104 | �����������������������������*/
105 | 
106 | /*�����������������������������*/
107 | 
108 | 
109 | /* Necessary to keep the flyouts sized properly */
110 | 
111 | 
112 | /* Generic context menu styles */
113 | .contextMenu {
114 |     position: absolute;
115 |     z-index: 99999;
116 |     border: solid 1px rgba(0,0,0,.33);
117 |     background: rgba(255,255,255,.95);
118 |     padding: 5px 0;
119 |     margin: 0px;
120 |     display: none;
121 |     font: 12px/15px Lucida Sans, Helvetica, Verdana, sans-serif;
122 |     border-radius: 5px;
123 |     -moz-border-radius: 5px;
124 |     -moz-box-shadow: 2px 5px 10px rgba(0,0,0,.3);
125 |     -webkit-box-shadow: 2px 5px 10px rgba(0,0,0,.3);
126 |     box-shadow: 2px 5px 10px rgba(0,0,0,.3);
127 | }
128 | 
129 | .contextMenu > li {
130 |     list-style: none;
131 |     padding: 0px;
132 |     margin: 0px;
133 | }
134 | 
135 | .contextMenu .shortcut {
136 |     width: 115px;
137 |     text-align:right;
138 |     float:right;
139 | }
140 | 
141 | .contextMenuLi > a {
142 |     -moz-user-select: none;
143 |     -webkit-user-select: none;
144 |     color: #222;
145 |     text-decoration: none;
146 |     display: block;
147 |     line-height: 20px;
148 |     height: 20px;
149 |     background-position: 6px center;
150 |     background-repeat: no-repeat;
151 |     outline: none;
152 |     padding: 0px 15px 1px 20px;
153 | }
154 | 
155 | .contextMenuLi:hover > a {
156 |     background-color: #2e5dea;
157 |     color: white;
158 |     cursor: default;
159 | }
160 | 
161 | .contextMenuLi.disabled > a {
162 |     color: #999;
163 | }
164 | 
165 | .contextMenuLi.disabled:hover > a {
166 |     background-color: transparent;
167 | }
168 | 
169 | .contextMenu LI.separator {
170 |     border-top: solid 1px #E3E3E3;
171 |     padding-top: 5px;
172 |     margin-top: 5px;
173 | }
174 | 
175 | .boxed {
176 | 	border: 1px solid black ;
177 | 	padding: 3px
178 | }
179 | 	
180 | .thumbsup , .thumbsdown {
181 | 	width:20px;
182 | 	height:20px;
183 | }
184 | 
185 | #navlist li{
186 | display: inline;
187 | list-style-type: none;
188 | padding-right: 25px;
189 | }
190 | 
191 | #navlist li li{
192 | display: inline;
193 | list-style-type: none;
194 | padding-right: 25px;
195 | }
196 | 
197 | #navlist ul{
198 | margin: 0px 0.5em 0.2em 0px;
199 | }
200 | 
201 | #navlist hr{
202 | margin: 0 0 0.3em
203 | }
204 | 


--------------------------------------------------------------------------------
/src/main/webapp/stylesheets/pumpinglemma.css:
--------------------------------------------------------------------------------
 1 | svg {
 2 |   cursor: default;
 3 |   -webkit-user-select: none;
 4 |   -moz-user-select: none;
 5 |   -ms-user-select: none;
 6 |   -o-user-select: none;
 7 |   user-select: none;
 8 | 
 9 |   background: #FFFFFF;
10 | }
11 | 
12 | svg:not(.active):not(.ctrl) {
13 |   cursor: crosshair;
14 | }
15 | 
16 | 
17 | text.warning {
18 |   fill: #B20000;
19 | }
20 | 
21 | path.link {
22 |   fill: none;
23 |   stroke: #000;
24 |   stroke-width: 2.5px;
25 |   cursor: default;
26 | }
27 | 
28 | path.link:hover {
29 |   stroke-width: 3.5px;
30 | }
31 | 
32 | 
33 | path.link.expanded {
34 |   stroke-width: 3.5px;
35 | }
36 | 
37 | 
38 | svg:not(.active):not(.ctrl) path.link {
39 |   cursor: pointer;
40 | }
41 | 
42 | text {
43 |   font: 15px sans-serif;
44 |   pointer-events: none;
45 | }
46 | 
47 | text.id {
48 |   text-anchor: middle;
49 |   font-weight: bold;
50 |   pointer-events: none;
51 | }
52 | 
53 | #automata_tutor #svgcanvaspl {
54 |     background-color: #FFFFFF;
55 |     width: 750px;
56 |     height: 100px;
57 |     margin: 0px;
58 | }


--------------------------------------------------------------------------------
/src/main/webapp/templates-hidden/default.html:
--------------------------------------------------------------------------------
  1 | <html xmlns="http://www.w3.org/1999/xhtml" xmlns:lift="http://liftweb.net/">
  2 |   <head>
  3 |     <meta http-equiv="content-type" content="text/html; charset=UTF-8" />
  4 |     <meta name="description" content="" />
  5 |     <meta name="keywords" content="" />
  6 |     <title class="lift:Menu.title">App: </title>
  7 |     <style class="lift:CSS.blueprint"></style>
  8 |     <style class="lift:CSS.fancyType"></style>
  9 | 
 10 | 
 11 |     <script id="jquery" src="/classpath/jquery.js" type="text/javascript"></script>
 12 |     <script id="json" src="/classpath/json.js" type="text/javascript"></script>
 13 |     
 14 | 	<script>
 15 | 	  (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
 16 | 	  (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
 17 | 	  m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
 18 | 	  })(window,document,'script','//www.google-analytics.com/analytics.js','ga');
 19 | 
 20 | 	  ga('create', 'UA-31575535-2', 'auto');
 21 | 	  ga('send', 'pageview');
 22 | 
 23 | 	</script>
 24 | 
 25 |     <style type="text/css">
 26 | /* <![CDATA[ */
 27 | .edit_error_class {
 28 |   display: block;
 29 |   color: red;
 30 | }
 31 | 
 32 | .sidebar ul {
 33 | 	margin:0;
 34 | 	padding:0;
 35 | 	border-bottom:1px solid #ccc;
 36 | }
 37 | 	 
 38 | 
 39 | .sidebar ul li {
 40 | 	margin:0;
 41 | 	padding:0;
 42 | 	list-style:none;
 43 | 	border:1px solid #ccc;
 44 | 	border-bottom:none;
 45 | }
 46 | 
 47 | .sidebar ul li a {
 48 | 	display:block;
 49 | 	padding:3px;
 50 | 	text-indent:20px;
 51 | 	text-decoration:none;
 52 | }
 53 | 
 54 | .sidebar ul li span {
 55 | 	display:block;
 56 | 	padding:3px;
 57 | 	text-indent:20px;
 58 | 	text-decoration:none;
 59 | }
 60 | 
 61 | .sidebar ul li a:hover {
 62 | 	background-color: #eee;
 63 | }
 64 | 
 65 | .container {
 66 | 	width:99%;
 67 | 	min-width: 800px;
 68 | 	max-width: 1050px;
 69 | }
 70 | 
 71 | .main-content {
 72 | 	width:70%;
 73 | }
 74 | 
 75 | .gradefeed {
 76 | 	width: 731px;
 77 | 	border: 3px rgb(160, 159, 159) solid;
 78 | 	padding: 5px;
 79 | 	border-radius: 10px;
 80 | 	margin-top:5pt;
 81 | }
 82 | 
 83 | .probdesc {
 84 | 	width: 731px;
 85 | 	border: 3px rgb(160, 159, 159) solid;
 86 | 	border-radius: 10px;
 87 | 	padding: 5px;		
 88 | }
 89 | 
 90 |   /* ]]> */
 91 |   </style>
 92 |   </head>
 93 |   <body>
 94 |   <div style="display:none">2014-08-27 13:28</div>
 95 |     <div class="container">
 96 |       <div class="column span-12 last" style="vertical-align:middle; text-align: right">
 97 |         <h1 class="alt" style="margin-bottom: 0.1em;">Automata Tutor v2.0</h1>
 98 |       </div>
 99 | 
100 |       <hr />
101 | 
102 |       <div class="column colborder span-5 sidebar">
103 |         <hr class="space" />
104 | 
105 | 	<span class="lift:Menu.builder"></span>
106 | 
107 |         
108 |         <hr class="space" />
109 |       </div>
110 | 
111 |       <div class="column main-content last">
112 |         <div class="lift:Msgs?showAll=true"></div>
113 |         <div id="content">The main content will get bound here</div>
114 | 	<img alt="" id="ajax-loader" style="display:none; margin-bottom: 0px; margin-left: 5px" src="/images/ajax-loader.gif" />
115 |       </div>
116 | 
117 |       <hr />
118 |       <div class="column span-24 last" style="text-align: center">
119 |         <h4 class="alt">
120 |           <a href="http://www.liftweb.net"><i>Lift</i></a> 
121 | 	  is Copyright 2016 WorldWide Conferencing, LLC.
122 | 	  Distributed under an Apache 2.0 License.</h4>
123 |       </div>
124 |     </div>
125 |   </body>
126 | </html>
127 | 


--------------------------------------------------------------------------------
/src/main/webapp/templates-hidden/wizard-all.html:
--------------------------------------------------------------------------------
 1 | <div>
 2 |   <wizard:screen_info><div>Page <wizard:screen_number/> of <wizard:total_screens/></div></wizard:screen_info>
 3 |   <wizard:wizard_top> <div> <wizard:bind/> </div> </wizard:wizard_top>
 4 |   <wizard:screen_top> <div> <wizard:bind/> </div> </wizard:screen_top>
 5 |   <wizard:errors> <div> <ul> <wizard:item> <li> <wizard:bind/> </li> </wizard:item> </ul> </div> </wizard:errors>
 6 |   <div> <wizard:fields>
 7 |       <table>
 8 |         <wizard:line>
 9 |           <tr>
10 |             <td>
11 |               <wizard:label><label wizard:for=""><wizard:bind/></label></wizard:label>
12 | 	      <wizard:help><span><wizard:bind/></span></wizard:help>
13 | 	      <wizard:field_errors> <ul> <wizard:error> <li> <wizard:bind/> </li> </wizard:error> </ul> </wizard:field_errors>
14 |           </td>
15 |           <td> <wizard:form/> </td>
16 |           </tr>
17 |         </wizard:line>
18 |       </table>
19 |     </wizard:fields> </div>
20 |   <div> <table> <tr> <td> <wizard:prev/> </td> <td> <wizard:cancel/> </td> <td> <wizard:next/> </td> </tr> </table> </div>
21 |   <wizard:screen_bottom> <div> <wizard:bind/> </div> </wizard:screen_bottom>
22 |   <wizard:wizard_bottom> <div> <wizard:bind/> </div> </wizard:wizard_bottom>
23 | </div>
24 | 


--------------------------------------------------------------------------------
/src/main/webapp/users/edit.html:
--------------------------------------------------------------------------------
 1 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 2 | <html xmlns="http://www.w3.org/1999/xhtml">
 3 | <head><meta content="text/html; charset=UTF-8" http-equiv="content-type" /><title>Home</title></head>
 4 | <body class="lift:content_id=main">
 5 | <div id="main" class="lift:surround?with=default;at=content">
 6 | 
 7 | <lift:Users.showuser form="POST">
 8 | 	<table>
 9 | 		<tr>
10 | 			<td> First Name: </td>
11 | 			<td> <userdisplay:firstname /> </td>
12 | 		</tr>
13 | 		<tr>
14 | 			<td> Last Name: </td>
15 | 			<td> <userdisplay:lastname /> </td>
16 | 		</tr>
17 | 		<tr>
18 | 			<td> Email Address: </td>
19 | 			<td> <userdisplay:email /> </td>
20 | 		</tr>
21 | 		<tr>
22 | 			<td> </td>
23 | 			<td> 
24 | 				<userdisplay:studentrolechange> </userdisplay:studentrolechange> <br />
25 | 				<userdisplay:instructorrolechange> </userdisplay:instructorrolechange> <br />
26 | 				<userdisplay:adminrolechange> </userdisplay:adminrolechange> <br />
27 | 			</td>
28 | 		</tr>
29 | 		<tr>
30 | 			<td> </td>
31 | 			<td> <userdisplay:submitbutton> </userdisplay:submitbutton> </td>
32 | 	</table>
33 | 
34 | </lift:Users>
35 | 
36 | </div>
37 | </body>
38 | </html>


--------------------------------------------------------------------------------
/src/main/webapp/users/index.html:
--------------------------------------------------------------------------------
 1 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 2 | <html xmlns="http://www.w3.org/1999/xhtml">
 3 | 	<head>
 4 | 		<meta content="text/html; charset=UTF-8" http-equiv="content-type" />
 5 | 		<title>Home</title>
 6 | 	</head>
 7 | 	<body class="lift:content_id=main">
 8 | 		<div id="main" class="lift:surround?with=default;at=content">
 9 | 		    <p><nav:records></nav:records></p>
10 | 
11 | 		    <lift:Users.showall> </lift:Users.showall>
12 | 
13 | 		    <lift:Users.paginate>
14 | 		     	<p>
15 | 			    	<nav:first></nav:first> |
16 | 			    	<nav:prev></nav:prev> |
17 | 			    	<nav:allpages></nav:allpages> |
18 | 			    	<nav:next></nav:next> |
19 | 			    	<nav:last></nav:last>
20 | 		    	</p>
21 | 		    </lift:Users.paginate>
22 | 
23 | 		    <lift:Users.resetLink />
24 | 		</div>
25 |   </body>
26 | </html>


--------------------------------------------------------------------------------
/src/test/resources/.keep:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/AutomataTutor/automatatutor-frontend/5d7b2f3639ec544bead7ca28995aecb87738c421/src/test/resources/.keep


--------------------------------------------------------------------------------
/src/test/resources/logback-test.xml:
--------------------------------------------------------------------------------
 1 | <configuration>
 2 |     <appender name="STDOUT" class="ch.qos.logback.core.ConsoleAppender">
 3 |         <encoder class="ch.qos.logback.classic.encoder.PatternLayoutEncoder">
 4 |             <pattern>%d{HH:mm:ss.SSS} [%thread] %-5level %logger{36} - %msg%n</pattern>
 5 |         </encoder>
 6 |     </appender>
 7 |     <appender name="FILE" class="ch.qos.logback.core.FileAppender">
 8 |         <file>console.devmode.log</file>
 9 |         <append>true</append>
10 |         <encoder>
11 |             <pattern>%-4relative [%thread] %-5level %logger{35} - %msg%n</pattern>
12 |         </encoder>
13 |     </appender>
14 | 
15 | 
16 | 
17 |     <logger name="code.snippet" level="info" />
18 |     <logger name="net.liftweb" level="warn" />
19 |     <logger name="bootstrap.liftweb" level="info" />
20 |     <root level="warn">
21 |         <appender-ref ref="STDOUT" />
22 |     </root>
23 | </configuration>
24 | 


--------------------------------------------------------------------------------
/src/test/scala/com/automatatutor/BootedLiftScope.scala:
--------------------------------------------------------------------------------
 1 | package com.automatatutor
 2 | 
 3 | import org.specs2.Specification
 4 | import org.specs2.execute.Result
 5 | import org.specs2.execute.Result
 6 | import org.specs2.mutable.Around
 7 | import org.specs2.mutable.Before
 8 | import org.specs2.specification.Example
 9 | import org.specs2.specification.Example
10 | import org.specs2.specification.Fragment
11 | import org.specs2.specification.Fragment
12 | import org.specs2.specification.Fragments
13 | import org.specs2.specification.Fragments
14 | import org.specs2.specification.Scope
15 | import org.specs2.specification.Scope
16 | import net.liftweb.http.provider.HTTPSession
17 | import net.liftweb.mockweb.MockWeb
18 | import net.liftweb.http.S
19 | import net.liftweb.http.LiftSession
20 | import net.liftweb.util.StringHelpers
21 | import net.liftweb.common.Empty
22 | import org.specs2.specification.Step
23 | import net.liftweb.common.Box
24 | import net.liftweb.mocks.MockHttpServletRequest
25 | import net.liftweb.mocks.MockHttpServletRequest
26 | 
27 | 
28 | object LiftBootHelper {
29 |   private var booted = false
30 | 
31 |   def bootLift = {
32 |     if (!booted) {
33 |       import bootstrap.liftweb.Boot
34 |       val boot = new Boot
35 |       boot.boot
36 |       booted = true
37 |     }
38 |   }
39 | }
40 | 
41 | abstract class SpecificationWithExamplesInsideBootedLiftSession(url : String) extends Specification {
42 |   override def map(fs : => Fragments) : Fragments = Step(LiftBootHelper.bootLift) ^ fs.map(executeBodyInSession)
43 |   
44 |   private var session : Box[LiftSession] = Empty
45 |   private val fullUrl = "http://automatatutor.com" + url
46 |   val mockReq = new MockHttpServletRequest("http://foo.com/test/this?foo=bar", "/test")
47 | 
48 |   private def executeInsideSession[T](t : => T) = {
49 |     LiftBootHelper.synchronized( {
50 |         MockWeb.testS(mockReq, session) { val retVal = t; session = S.session; retVal }
51 |     } )
52 |   }
53 | 
54 |   private def executeBodyInSession(fragment : Fragment) : Fragment = fragment match {
55 |       case (example : Example) => Example(example.desc, { this.executeInsideSession(example.body()) })
56 |       case (step : Step) => Step(this.executeInsideSession(step.execute))
57 |       case notAnExample => notAnExample
58 |   }
59 | }


--------------------------------------------------------------------------------
/src/test/scala/com/automatatutor/lib/BinderTest.scala:
--------------------------------------------------------------------------------
 1 | package com.automatatutor.lib
 2 | 
 3 | import scala.xml.XML
 4 | import scala.xml.NodeSeq
 5 | import scala.xml.NodeSeq.seqToNodeSeq
 6 | 
 7 | import org.specs2.Specification
 8 | 
 9 | class BinderTest extends Specification { def is = s2"""
10 |   An empty Binder shall
11 |     not change the empty NodeSeq  ${
12 |       (new Binder().bind(NodeSeq.Empty)) must beEqualTo(NodeSeq.Empty)
13 |     }
14 |     replace elements by elements correctly ${
15 |       val binding = new Binding("test", new Renderer { def render = <result></result> })
16 |       new Binder("test", binding).bind(<test:test></test:test>).contains(<result></result>) must beTrue
17 |     }
18 |     handle templates correctly ${
19 |       val binding = new Binding("testTag", new DynamicRenderer { def render(template : NodeSeq) = { <b>{ template.text }</b> } })
20 |       new Binder("testNamespace", binding).bind(<testNamespace:testTag>testText</testNamespace:testTag>).contains(<b>testText</b>) must beTrue
21 |     }
22 |     handle empty data sets correctly ${
23 |       val data = Seq[Int]()
24 |       val renderer = new DataRenderer(data) { def render(template : NodeSeq, data : Int) = { <b>{ template.text + data.toString() }</b> } }
25 |       val binding = new Binding("testTag", renderer)
26 |       val expected = <p/>
27 |       val obtained = new Binder("testNamespace", binding).bind(<p><testNamespace:testTag>value</testNamespace:testTag></p>)
28 |       obtained.mkString.equals(expected.mkString) must beTrue
29 |     }
30 |     handle singleton data sets correctly ${
31 |       val data = Seq(42)
32 |       val renderer = new DataRenderer(data) { def render(template : NodeSeq, data : Int) = { <b>{ template.text + data.toString() }</b> } }
33 |       val binding = new Binding("testTag", renderer)
34 |       val expected = <p><b>value42</b></p>
35 |       val obtained = new Binder("testNamespace", binding).bind(<p><testNamespace:testTag>value</testNamespace:testTag></p>)
36 |       obtained.mkString.equals(expected.mkString) must beTrue
37 |     }
38 |     handle more than three data items correctly ${
39 |       val data = Seq(4,8,15,16,23,42)
40 |       val renderer = new DataRenderer(data) { def render(template : NodeSeq, data : Int) = { <b>{ template.text + data.toString() }</b> } }
41 |       val binding = new Binding("testTag", renderer)
42 |       val expected = <p><b>value4</b><b>value8</b><b>value15</b><b>value16</b><b>value23</b><b>value42</b></p>
43 |       val obtained = new Binder("testNamespace", binding).bind(<p><testNamespace:testTag>value</testNamespace:testTag></p>)
44 |       obtained.mkString.equals(expected.mkString) must beTrue
45 |     }
46 |     replace elements by NodeSeqs correctly ${
47 |       val binding = new Binding("test", new Renderer { def render = <result></result><resultPrime></resultPrime> })
48 |       new Binder("test", binding).bind(<test:test></test:test>) must beEqualTo(<result></result> ++ <resultPrime></resultPrime>)
49 |     }
50 |     respect namespaces ${
51 |       val binding = new Binding("test", new Renderer { def render = <result></result> })
52 |       new Binder("test", binding).bind(<test:test></test:test><testPrime:test></testPrime:test>) must beEqualTo(<result></result> ++ <testPrime:test></testPrime:test>)
53 |     }
54 | 
55 |   """
56 |     										  
57 | }


--------------------------------------------------------------------------------
/src/test/scala/com/automatatutor/model/CourseAttendanceTest.scala:
--------------------------------------------------------------------------------
 1 | package com.automatatutor.model
 2 | 
 3 | import org.specs2._
 4 | import specification._
 5 | import com.automatatutor.SpecificationWithExamplesInsideBootedLiftSession
 6 | import com.automatatutor.LiftBootHelper
 7 | 
 8 | class CourseAttendanceTest extends SpecificationWithExamplesInsideBootedLiftSession("") { def is = s2"""
 9 |   Concerning course enrollment it should      ${ Step(attendedCourse.enroll(user)) }
10 |     attend a course                           ${user.attendsCourses must beTrue}
11 |     attend exactly one course                 ${user.getAttendedCourses must haveSize(1)}
12 |     attend the course it was just enrolled in ${user.getAttendedCourses must contain(attendedCourse)}
13 |     not supervise any courses                 ${(user.supervisesCourses must beFalse) and (user.getSupervisedCourses must beEmpty)}
14 |     										  ${ Step({attendedCourse.dismiss(user); attendedCourse.delete_!; user.delete_!})}
15 |   """
16 |     isolated
17 |     
18 |   lazy val user : User = { val user = User.create; user.save; user }
19 |   lazy val attendedCourse : Course = { val course = Course.create; course.save; course }
20 | }


--------------------------------------------------------------------------------
/src/test/scala/com/automatatutor/renderer/UserRendererTest.scala:
--------------------------------------------------------------------------------
 1 | package com.automatatutor.renderer
 2 | 
 3 | import com.automatatutor.SpecificationWithExamplesInsideBootedLiftSession
 4 | import com.automatatutor.model.User
 5 | import com.automatatutor.model.Course
 6 | import org.specs2.specification.Step
 7 | 
 8 | class UserRendererTest extends SpecificationWithExamplesInsideBootedLiftSession("") { def is = s2"""
 9 |   For an enrolled user		${ Step(enrolledCourse.enroll(user))}
10 | 	UserRenderer.renderDeleteLink should return a link	${renderer.renderDeleteLink.head.label must beEqualTo("a") }
11 | 	that points to /users/index	${(renderer.renderDeleteLink \ "@href").text must startWith("/users/index") }
12 |   """
13 | 	isolated
14 |   
15 |   lazy val user = { val user = User.create.firstName("Thomas").lastName("Andersen"); user.save(); user }
16 |   lazy val enrolledCourse = { val course = Course.create; course.save(); course }
17 |   lazy val supervisedCourse = { val course = Course.create; course.save(); course }
18 |   lazy val renderer = new UserRenderer(user);
19 |   
20 | }


--------------------------------------------------------------------------------
/src/test/scala/com/automatatutor/snippet/UsersTest.scala:
--------------------------------------------------------------------------------
 1 | package com.automatatutor.snippet
 2 | 
 3 | import com.automatatutor.SpecificationWithExamplesInsideBootedLiftSession
 4 | import com.automatatutor.model.User
 5 | import org.specs2.specification.Step
 6 | import scala.xml.NodeSeq
 7 | import com.automatatutor.LiftBootHelper
 8 | import scala.xml.Node
 9 | 
10 | class ShowAllTest extends SpecificationWithExamplesInsideBootedLiftSession("") { def is = s2"""
11 | 	When an admin is logged in, the Users.showall-method must 			${ Step( { init; User.logUserIn(adminUser) }) }
12 | 			return a single element	${ getShowallResult() must haveSize(1) }
13 | 			which is a table	${ getShowallResult()(0).label must be("table") }
14 | 			with five rows (four users and one header) ${ (getShowallResult()(0) \\ "tr") must haveSize(5) }
15 |   """
16 |   
17 |   lazy val adminUser = { 
18 |     val user = User.create.firstName("Alan").lastName("Turing").email("alan.turing@berkeley.edu");
19 |     user.addAdminRole; user.save; user
20 |   }
21 | 
22 |   lazy val instructorUser = { 
23 |     val user = User.create.firstName("Ada").lastName("Lovelace").email("ada.lovelace@berkeley.edu");
24 |     user.addInstructorRole; user.save; user
25 |   }
26 | 
27 |   lazy val studentUser = { 
28 |     val user = User.create.firstName("Alan").lastName("Cox").email("alan.cox@berkeley.edu");
29 |     user.addStudentRole; user.save; user
30 |   }
31 | 
32 |   def init = { adminUser; instructorUser; studentUser }
33 |   
34 |   def getShowallResult() = new Users().showall(NodeSeq.Empty)
35 |   
36 |   def cleanup = { adminUser.delete_!; instructorUser.delete_!; studentUser.delete_! }
37 | }


--------------------------------------------------------------------------------