Commit 992ffac7 authored by Arthur Bit-Monnot's avatar Arthur Bit-Monnot

Refactor: move copla.* to dahu.*

parent 2a928295
package copla.lang
package dahu.planning
import java.io.File
import copla.lang.analysis.{AbstractionHierarchyType, DetailedKnoblock, Knoblock}
import copla.lang.model.format.Formatter
import copla.lang.model.{core, full}
import dahu.planning.analysis.{AbstractionHierarchyType, DetailedKnoblock, Knoblock}
import dahu.planning.model.format.Formatter
import dahu.planning.model.{core, full}
sealed trait Mode
object ParsingMode extends Mode
......
package copla.lang
package dahu.planning
import copla.lang.model.common._
import copla.lang.model.core._
import dahu.planning.model.common._
import dahu.planning.model.core._
import scala.collection.mutable
import scala.collection.mutable.ArrayBuffer
......
package copla.lang.model
package dahu.planning.model
import copla.lang.model
import copla.lang.model.common.operators.{BinaryOperator, UnaryOperator}
import dahu.planning.model
import dahu.planning.model.common.operators.{BinaryOperator, UnaryOperator}
import spire.math.Real
import spire.implicits._
......
package copla.lang.model
package dahu.planning.model
import copla.lang.model.common._
import dahu.planning.model.common._
package object core {
......
package copla.lang.model.format
package dahu.planning.model.format
import shapeless._
......@@ -17,7 +17,7 @@ trait LowPriorityFormatter {
}
object Formatter extends LowPriorityFormatter {
import copla.lang.model.core._
import dahu.planning.model.core._
def apply[T](implicit fmt: Formatter[T]): Formatter[T] = fmt
......
package copla.lang.model
package dahu.planning.model
import copla.lang.model.common._
import copla.lang.model.common.operators.{BinaryOperator, UnaryOperator}
import dahu.planning.model.common._
import dahu.planning.model.common.operators.{BinaryOperator, UnaryOperator}
package object full {
......
package copla.lang.model.transforms
package dahu.planning.model.transforms
import copla.lang.model.common._
import copla.lang.model.core._
import dahu.planning.model.common._
import dahu.planning.model.core._
object ActionInstantiation {
......
package copla.lang.model.transforms
package dahu.planning.model.transforms
case class Config(
/** If set to true, CoPla will try to merge equal timepoints into a single one. */
......
package copla.lang.model.transforms
package dahu.planning.model.transforms
import copla.lang.model.core._
import dahu.planning.model.core._
object CoreTransforms {
......
package copla.lang.model.transforms
package dahu.planning.model.transforms
import copla.lang.model
import copla.lang.model._
import copla.lang.model.common._
import dahu.planning.model
import dahu.planning.model._
import dahu.planning.model.common._
object FullToCore {
......
package copla
package dahu
import java.io.File
import copla.lang.model.core.CoreModel
import copla.lang.model.transforms.FullToCore
import copla.lang.model.{core, full}
import copla.lang.parsing.anml
import dahu.planning.model.core.CoreModel
import dahu.planning.model.transforms.FullToCore
import dahu.planning.model.{core, full}
import dahu.planning.parsing.anml
package object lang {
package object planning {
sealed trait Result[+T] {
def map[B](f: T => B): Result[B]
......
package copla.lang.parsing.anml
package dahu.planning.parsing.anml
import java.io.{File, IOException}
import copla.lang.model._
import dahu.planning.model._
import ParserApi.baseApi._
import ParserApi.baseApi.Parsed.Success
import ParserApi.whiteApi._
import ParserApi.extendedApi._
import fastparse.core.Parsed.Failure
import copla.lang.model.common._
import copla.lang.model.common.operators.{
import dahu.planning.model.common._
import dahu.planning.model.common.operators.{
Associativity,
BinOperatorGroup,
BinaryOperator,
......@@ -17,7 +17,7 @@ import copla.lang.model.common.operators.{
UnaryOperator,
UniOperatorGroup
}
import copla.lang.model.full._
import dahu.planning.model.full._
import scala.annotation.tailrec
import scala.util.Try
......
package copla.util
package dahu.planning.util
import scala.annotation.elidable
import scala.annotation.elidable._
import dahu.planning
/** Provides a flexible assertion support, related to a debug level.
*
......
package copla.lang.model.transforms
package dahu.planning.model.transforms
import org.scalatest.FunSuite
import dahu.planning
class ActionInstantiationTest extends FunSuite {
import copla.lang.model.core._
import dahu.planning.model.core._
import copla.lang
test("action instantiation") {
lang.parse("""
planning.parse("""
|fluent boolean sv;
|action Template(boolean x, boolean y) {
| duration == 10;
......@@ -17,7 +17,7 @@ class ActionInstantiationTest extends FunSuite {
| [all] contains id: sv == x :-> y;
|};
""".stripMargin) match {
case lang.Success(model) =>
case planning.Success(model) =>
model.collectFirst { case x: ActionTemplate => x } match {
case Some(act) =>
val name = "myInstance"
......
package copla.lang.model.transforms
package dahu.planning.model.transforms
import copla.lang.model.core._
import copla.lang.parsing.anml.{InputAnmlModels, ParseFailure, ParseSuccess, Parser}
import dahu.planning.model.core._
import dahu.planning.parsing.anml.{InputAnmlModels, ParseFailure, ParseSuccess, Parser}
import org.scalatest.FunSuite
class FullToCoreTest extends FunSuite {
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment