{-# LANGUAGE DeriveDataTypeable #-}

{- |

Module : ./FreeCAD/As.hs

Description : definition of the datatype describing

the abstract FreeCAD terms and and a few tools describing simple

mathematical operations on those building-blocks (3d vectors,

rotation matrices, rotation quaternions)

Copyright : (c) Robert Savu and Uni Bremen 2011

License : GPLv2 or higher, see LICENSE.txt

Maintainer : Robert.Savu@dfki.de

Stability : experimental

Portability : portable

Declaration of the abstract datatypes of FreeCAD terms

-}

module FreeCAD.As where

import Data.Data

import qualified Data.Set as Set

data Vector3 =

Vector3 { x :: Double, y :: Double, z :: Double }

deriving (Show, Eq, Ord, Typeable, Data)

data Matrix33 = Matrix33 { a11 :: Double , a12 :: Double , a13 :: Double

, a21 :: Double , a22 :: Double , a23 :: Double

, a31 :: Double , a32 :: Double , a33 :: Double

} deriving (Show, Eq, Ord, Typeable, Data)

-- used as a rotation matrix

data Vector4 = Vector4 { q0 :: Double, q1 :: Double, q2 :: Double, q3 :: Double}

deriving (Show, Eq, Ord, Typeable, Data)

-- quaternion rotational representation

data Placement = Placement { position :: Vector3, orientation :: Vector4 }

deriving (Show, Eq, Ord, Typeable, Data)

{-

-- the placement is determined by 2 vectors:

-- the first one points to the 'center' of the objet in the space

-- the second one determines the orientation of the object in the given space

data Edgelist = []

| 1:Edgelist

| 0:Edgelist

reference from compound objects to 'building-blocks'

objects made through strings or containment of the other

objects

-}

data BaseObject = Box Double Double Double -- Height, Width, Length

| Cylinder Double Double Double -- Angle, Height, Radius

| Sphere Double Double Double Double -- Angle1,Angle2,Angle3,Radius

| Cone Double Double Double Double -- Angle,Radius1,Radius2,Height

| Torus Double Double Double Double Double

-- Angle1, Angle2, Angle3, Radius1, Radius2

| Line Double -- length

| Circle Double Double Double -- StartAngle, EndAngle, Radius

| Rectangle Double Double -- Height, Length

deriving (Show, Eq, Ord, Typeable, Data)

-- TODO: Plane, Vertex, etc..

data Object = BaseObject BaseObject

| Cut ExtendedObject ExtendedObject

| Common ExtendedObject ExtendedObject

| Fusion ExtendedObject ExtendedObject

| Extrusion ExtendedObject Vector3

| Section ExtendedObject ExtendedObject

deriving (Show, Eq, Ord, Typeable, Data)

{- --| Fillet, (Base::String, Edges::Edgelist, Radius::Double)),

--not enough data in the xml

--| Chamfer, (Base::String, Edges::Edgelist, Amount::Double)),

--not enough data in the xml

--| Mirror, (Base::String, Position2::Vector))

--mirroring of an object

-}

data ExtendedObject = Placed PlacedObject | Ref String

deriving (Show, Eq, Ord, Typeable, Data)

data PlacedObject =

PlacedObject {p :: Placement, o :: Object}

deriving (Show, Eq, Ord, Typeable, Data)

data NamedObject = NamedObject { name :: String

, object :: PlacedObject}

| EmptyObject -- for objects that are WIP

deriving (Show, Eq, Ord, Typeable, Data)

{- the first parameter is the name of the object as it is stored in the

FreeCAD document. the second parameter determines the placement of the object

(a pair of vectors) the third parameter contains the type of the object and

a list of doubles (numbers) describing the characteristics

of the object (e.g. dimensions, angles, etc) -}

type Document = [NamedObject]

{- | Datatype for FreeCAD Signatures

Signatures are just sets of named objects -}

data Sign = Sign { objects :: Set.Set NamedObject }

deriving (Show, Eq, Ord, Typeable, Data)