Language.Eiffel.Syntax

Documentation

type Map = HashMap

type Clas = ClasBody Expr

type ClasBody exp = AbsClas (RoutineBody exp) exp

type ClasInterface = AbsClas EmptyBody Expr

type ClasI exp = AbsClas (RoutineBody exp) exp

data AbsClas body exp

Constructors

AbsClas

Fields

frozenClass :: Bool

expandedClass :: Bool

deferredClass :: Bool

classNote :: [Note]

className :: ClassName

currProc :: Proc

procGeneric :: [Proc]

procExpr :: [ProcDecl]

generics :: [Generic]

obsoleteClass :: Bool

inherit :: [Inheritance]

creates :: [CreateClause]

converts :: [ConvertClause]

featureMap :: FeatureMap body exp

invnts :: [Clause exp]

Instances

(Eq body, Eq exp) => Eq (AbsClas body exp)

(Show body, Show exp) => Show (AbsClas body exp)

(Binary body_1627432068, Binary exp_1627432069) => Binary (AbsClas body_1627432068 exp_1627432069)

(NFData body_1627432068, NFData exp_1627432069) => NFData (AbsClas body_1627432068 exp_1627432069)

data FeatureMap body exp

Constructors

FeatureMap

Fields

_fmRoutines :: !(Map Text (ExportedFeature (AbsRoutine body exp)))

_fmAttrs :: Map Text (ExportedFeature (Attribute exp))

_fmConsts :: Map Text (ExportedFeature (Constant exp))

Instances

(Eq body, Eq exp) => Eq (FeatureMap body exp)

(Show body, Show exp) => Show (FeatureMap body exp)

(Binary body_1627432066, Binary exp_1627432067) => Binary (FeatureMap body_1627432066 exp_1627432067)

(NFData body_1627432066, NFData exp_1627432067) => NFData (FeatureMap body_1627432066 exp_1627432067)

data ExportedFeature feat

Constructors

ExportedFeature

Fields

_exportClass :: Set Text

_exportFeat :: !feat

Instances

Eq feat => Eq (ExportedFeature feat)

Ord feat => Ord (ExportedFeature feat)

Show feat => Show (ExportedFeature feat)

Binary feat_1627431960 => Binary (ExportedFeature feat_1627431960)

NFData feat_1627431960 => NFData (ExportedFeature feat_1627431960)

data SomeFeature body exp

Constructors

SomeRoutine (AbsRoutine body exp)

SomeAttr (Attribute exp)

SomeConst (Constant exp)

Instances

(Eq body, Eq exp) => Eq (SomeFeature body exp)

(Ord body, Ord exp) => Ord (SomeFeature body exp)

(Show body, Show exp) => Show (SomeFeature body exp)

(Binary body_1627431958, Binary exp_1627431959) => Binary (SomeFeature body_1627431958 exp_1627431959)

(NFData body_1627431958, NFData exp_1627431959) => NFData (SomeFeature body_1627431958 exp_1627431959)

Feature (SomeFeature body expr) expr

data Inheritance

Constructors

Inheritance

Fields

inheritNonConform :: Bool

inheritClauses :: [InheritClause]

Instances

Eq Inheritance

Show Inheritance

Binary Inheritance

NFData Inheritance

data InheritClause

Constructors

InheritClause

Fields

inheritClass :: Typ

rename :: [RenameClause]

export :: [ExportClause]

undefine :: [Text]

redefine :: [Text]

select :: [Text]

Instances

Eq InheritClause

Show InheritClause

Binary InheritClause

NFData InheritClause

data RenameClause

Constructors

Rename

Fields

renameOrig :: Text

renameNew :: Text

renameAlias :: Maybe Text

Instances

Eq RenameClause

Show RenameClause

Binary RenameClause

NFData RenameClause

data ExportList

Constructors

ExportFeatureNames [Text]

ExportAll

Instances

Eq ExportList

Show ExportList

Binary ExportList

NFData ExportList

data ExportClause

Constructors

Export

Fields

exportTo :: [ClassName]

exportWhat :: ExportList

Instances

Eq ExportClause

Show ExportClause

Binary ExportClause

NFData ExportClause

data Generic

Constructors

Generic

Fields

genericName :: ClassName

genericConstType :: [Typ]

genericCreate :: Maybe [Text]

Instances

Eq Generic

Show Generic

Binary Generic

NFData Generic

data CreateClause

Constructors

CreateClause

Fields

createExportNames :: [ClassName]

createNames :: [Text]

Instances

Eq CreateClause

Show CreateClause

Binary CreateClause

NFData CreateClause

data ConvertClause

Constructors

ConvertFrom Text [Typ]

ConvertTo Text [Typ]

Instances

Eq ConvertClause

Show ConvertClause

Binary ConvertClause

NFData ConvertClause

data FeatureClause body exp

Constructors

FeatureClause

Fields

exportNames :: [ClassName]

routines :: [AbsRoutine body exp]

attributes :: [Attribute exp]

constants :: [Constant exp]

Instances

(Eq body, Eq exp) => Eq (FeatureClause body exp)

(Show body, Show exp) => Show (FeatureClause body exp)

(Binary body_1627431956, Binary exp_1627431957) => Binary (FeatureClause body_1627431956 exp_1627431957)

(NFData body_1627431956, NFData exp_1627431957) => NFData (FeatureClause body_1627431956 exp_1627431957)

type RoutineI = AbsRoutine EmptyBody Expr

type RoutineWithBody exp = AbsRoutine (RoutineBody exp) exp

type Routine = RoutineWithBody Expr

data EmptyBody

Constructors

EmptyBody

Instances

Eq EmptyBody

Ord EmptyBody

Show EmptyBody

Binary EmptyBody

NFData EmptyBody

data Contract exp

Constructors

Contract

Fields

contractInherited :: Bool

contractClauses :: [Clause exp]

Instances

Eq exp => Eq (Contract exp)

Ord exp => Ord (Contract exp)

Show exp => Show (Contract exp)

Binary exp_1627431954 => Binary (Contract exp_1627431954)

NFData exp_1627431954 => NFData (Contract exp_1627431954)

data AbsRoutine body exp

Constructors

AbsRoutine

Fields

routineFroz :: !Bool

routineName :: !Text

routineAlias :: Maybe Text

routineArgs :: [Decl]

routineResult :: Typ

routineAssigner :: Maybe Text

routineNote :: [Note]

routineProcs :: [Proc]

routineReq :: Contract exp

routineReqLk :: [ProcExpr]

routineImpl :: !body

routineEns :: Contract exp

routineEnsLk :: [Proc]

routineRescue :: Maybe [PosAbsStmt exp]

Instances

(Eq body, Eq exp) => Eq (AbsRoutine body exp)

(Ord body, Ord exp) => Ord (AbsRoutine body exp)

(Show body, Show exp) => Show (AbsRoutine body exp)

(Binary body_1627431952, Binary exp_1627431953) => Binary (AbsRoutine body_1627431952 exp_1627431953)

(NFData body_1627431952, NFData exp_1627431953) => NFData (AbsRoutine body_1627431952 exp_1627431953)

Feature (AbsRoutine body expr) expr

ClassFeature (AbsRoutine body expr) body expr

data RoutineBody exp

Constructors

RoutineDefer

RoutineExternal Text (Maybe Text)

RoutineBody

Fields

routineLocal :: [Decl]

routineLocalProcs :: [ProcDecl]

routineBody :: PosAbsStmt exp

Instances

Eq exp => Eq (RoutineBody exp)

Ord exp => Ord (RoutineBody exp)

Show exp => Show (RoutineBody exp)

NFData exp_1627431951 => NFData (RoutineBody exp_1627431951)

data Attribute exp

Constructors

Attribute

Fields

attrFroz :: Bool

attrDecl :: Decl

attrAssign :: Maybe Text

attrNotes :: [Note]

attrReq :: Contract exp

attrEns :: Contract exp

Instances

Eq exp => Eq (Attribute exp)

Ord exp => Ord (Attribute exp)

Show exp => Show (Attribute exp)

Binary exp_1627431950 => Binary (Attribute exp_1627431950)

NFData exp_1627431950 => NFData (Attribute exp_1627431950)

Feature (Attribute expr) expr

ClassFeature (Attribute expr) body expr

data Constant exp

Constructors

Constant

Fields

constFroz :: Bool

constDecl :: Decl

constVal :: exp

Instances

Eq exp => Eq (Constant exp)

Ord exp => Ord (Constant exp)

Show exp => Show (Constant exp)

Binary exp_1627431949 => Binary (Constant exp_1627431949)

NFData exp_1627431949 => NFData (Constant exp_1627431949)

Feature (Constant expr) expr

ClassFeature (Constant expr) body expr

type Expr = Pos UnPosExpr

data BinOp

Constructors

Add

Sub

Mul

Div

Quot

Rem

Pow

Or

OrElse

Xor

And

AndThen

Implies

RelOp ROp Typ

SymbolOp Text

Instances

Eq BinOp

Ord BinOp

Show BinOp

Binary BinOp

NFData BinOp

data ROp

Constructors

Lte

Lt

Eq

TildeEq

Neq

TildeNeq

Gt

Gte

Instances

Eq ROp

Ord ROp

Show ROp

Binary ROp

NFData ROp

data UnOp

Constructors

Not

Neg

Old

Instances

Eq UnOp

Ord UnOp

Show UnOp

Binary UnOp

NFData UnOp

data UnPosExpr

Constructors

UnqualCall Text [Expr]

QualCall Expr Text [Expr]

Lookup Expr [Expr]

PrecursorCall (Maybe Text) [Expr]

BinOpExpr BinOp Expr Expr

UnOpExpr UnOp Expr

Address Expr

Attached (Maybe Typ) Expr (Maybe Text)

AcrossExpr Expr Text Quant Expr

Agent Expr

CreateExpr Typ Text [Expr]

Tuple [Expr]

InlineAgent [Decl] (Maybe Typ) [Stmt] [Expr]

ManifestCast Typ Expr

TypedVar Text Typ

VarOrCall Text

ResultVar

OnceStr Text

CurrentVar

StaticCall Typ Text [Expr]

LitArray [Expr]

LitString Text

LitChar Char

LitInt Integer

LitBool Bool

LitVoid

LitDouble Double

LitType Typ

Instances

Eq UnPosExpr

Ord UnPosExpr

Show UnPosExpr

Binary UnPosExpr

NFData UnPosExpr

data Quant

Constructors

All

Some

Instances

Eq Quant

Ord Quant

Show Quant

Binary Quant

NFData Quant

commaSepShow :: Show a => [a] -> [Char]

argsShow :: Show a => [a] -> [Char]

defaultCreate :: Text

data Typ

Constructors

ClassType ClassName [Typ]

TupleType (Either [Typ] [Decl])

Sep (Maybe Proc) [Proc] Text

Like Text

VoidType

NoType

Instances

Eq Typ

Ord Typ

Show Typ

Generic Typ

Binary Typ

NFData Typ

Hashable Typ

data Decl

Constructors

Decl

Fields

declName :: Text

declType :: Typ

Instances

Eq Decl

Ord Decl

Show Decl

Generic Decl

Binary Decl

NFData Decl

Hashable Decl

data Proc

Constructors

Dot

Proc

Fields

unProcGen :: Text

Instances

Eq Proc

Ord Proc

Show Proc

Generic Proc

Binary Proc

NFData Proc

Hashable Proc

type ClassName = Text

type Stmt = PosAbsStmt Expr

type UnPosStmt = AbsStmt Expr

type PosAbsStmt a = Pos (AbsStmt a)

data AbsStmt a

Constructors

Assign a a

AssignAttempt a a

If a (PosAbsStmt a) [ElseIfPart a] (Maybe (PosAbsStmt a))

Malloc ClassName

Create (Maybe Typ) a Text [a]

Across a Text (PosAbsStmt a)

Loop (PosAbsStmt a) [Clause a] a (PosAbsStmt a) (Maybe a)

CallStmt a

Retry

Inspect a [([a], PosAbsStmt a)] (Maybe (PosAbsStmt a))

Check [Clause a]

CheckBlock [Clause a] (PosAbsStmt a)

Block [PosAbsStmt a]

Debug Text (PosAbsStmt a)

Print a

PrintD a

BuiltIn

Instances

Eq a => Eq (AbsStmt a)

Ord a => Ord (AbsStmt a)

Show a => Show (AbsStmt a)

Binary a_1627431947 => Binary (AbsStmt a_1627431947)

NFData a_1627431947 => NFData (AbsStmt a_1627431947)

data ElseIfPart a

Constructors

ElseIfPart a (PosAbsStmt a)

Instances

Eq a => Eq (ElseIfPart a)

Ord a => Ord (ElseIfPart a)

Show a => Show (ElseIfPart a)

Binary a_1627431946 => Binary (ElseIfPart a_1627431946)

NFData a_1627431946 => NFData (ElseIfPart a_1627431946)

braced :: Show a => Maybe a -> [Char]

showCase :: (Show a, Show a1) => (a, a1) -> [Char]

showDefault :: Show a => Maybe a -> [Char]

data ProcExpr

Constructors

LessThan Proc Proc

Instances

Eq ProcExpr

Ord ProcExpr

Show ProcExpr

Binary ProcExpr

NFData ProcExpr

data ProcDecl

Constructors

SubTop Proc

CreateLessThan Proc Proc

Instances

Eq ProcDecl

Ord ProcDecl

Show ProcDecl

Binary ProcDecl

NFData ProcDecl

data Clause a

Constructors

Clause

Fields

clauseName :: Maybe Text

clauseExpr :: a

Instances

Eq a => Eq (Clause a)

Ord a => Ord (Clause a)

Show a => Show (Clause a)

Binary a_1627431927 => Binary (Clause a_1627431927)

NFData a_1627431927 => NFData (Clause a_1627431927)

data Note

Constructors

Note

Fields

noteTag :: Text

noteContent :: [UnPosExpr]

Instances

Eq Note

Ord Note

Show Note

Binary Note

NFData Note

exportFeat :: forall feat feat. Lens (ExportedFeature feat) (ExportedFeature feat) feat feat

exportClass :: forall feat. Lens' (ExportedFeature feat) (Set Text)

fmRoutines :: forall body exp body. Lens (FeatureMap body exp) (FeatureMap body exp) (Map Text (ExportedFeature (AbsRoutine body exp))) (Map Text (ExportedFeature (AbsRoutine body exp)))

fmConsts :: forall body exp. Lens' (FeatureMap body exp) (Map Text (ExportedFeature (Constant exp)))

fmAttrs :: forall body exp. Lens' (FeatureMap body exp) (Map Text (ExportedFeature (Attribute exp)))