language-cil-0.2.2: Manipulating Common Intermediate Language AST

Language.Cil.Build

Contents

Assembly ref functions
Directive functions
mdecl functions
Convenient AST functions

Description

Combinators for building abstract syntax.

Synopsis

Assembly ref functions

assemblyRef :: AssemblyName -> Version -> PublicKeyToken -> AssemblyRef Source

Directive functions

entryPoint :: MethodDecl Source

localsInit :: [Local] -> MethodDecl Source

maxStack :: Int -> MethodDecl Source

mdecl functions

add :: MethodDecl Source

add_ovf :: MethodDecl Source

add_ovf_un :: MethodDecl Source

and :: MethodDecl Source

beq :: Label -> MethodDecl Source

bge :: Label -> MethodDecl Source

bgt :: Label -> MethodDecl Source

ble :: Label -> MethodDecl Source

blt :: Label -> MethodDecl Source

box :: PrimitiveType -> MethodDecl Source

br :: Label -> MethodDecl Source

break :: MethodDecl Source

brfalse :: Label -> MethodDecl Source

brtrue :: Label -> MethodDecl Source

call :: [CallConv] -> PrimitiveType -> AssemblyName -> TypeName -> MethodName -> [PrimitiveType] -> MethodDecl Source

callvirt :: PrimitiveType -> AssemblyName -> TypeName -> MethodName -> [PrimitiveType] -> MethodDecl Source

ceq :: MethodDecl Source

cgt :: MethodDecl Source

ckfinite :: MethodDecl Source

clt :: MethodDecl Source

dup :: MethodDecl Source

div :: MethodDecl Source

div_un :: MethodDecl Source

isinst :: TypeName -> MethodDecl Source

ldarg :: Offset -> MethodDecl Source

ldargN :: DottedName -> MethodDecl Source

ldc_i4 :: Integer -> MethodDecl Source

ldc_i8 :: Integer -> MethodDecl Source

ldc_r4 :: Float -> MethodDecl Source

ldc_r8 :: Double -> MethodDecl Source

ldchar :: Char -> MethodDecl Source

ldelem_i :: MethodDecl Source

ldelem_i1 :: MethodDecl Source

ldelem_i2 :: MethodDecl Source

ldelem_i4 :: MethodDecl Source

ldelem_i8 :: MethodDecl Source

ldelem_u1 :: MethodDecl Source

ldelem_u2 :: MethodDecl Source

ldelem_u4 :: MethodDecl Source

ldelem_u8 :: MethodDecl Source

ldelem_r4 :: MethodDecl Source

ldelem_r8 :: MethodDecl Source

ldelem_ref :: MethodDecl Source

ldelema :: MethodDecl Source

ldfld :: PrimitiveType -> AssemblyName -> TypeName -> FieldName -> MethodDecl Source

ldflda :: PrimitiveType -> AssemblyName -> TypeName -> FieldName -> MethodDecl Source

ldftn :: PrimitiveType -> AssemblyName -> TypeName -> MethodName -> [PrimitiveType] -> MethodDecl Source

ldind_i :: MethodDecl Source

ldind_i1 :: MethodDecl Source

ldind_i2 :: MethodDecl Source

ldind_i4 :: MethodDecl Source

ldind_i8 :: MethodDecl Source

ldind_r4 :: MethodDecl Source

ldind_r8 :: MethodDecl Source

ldind_ref :: MethodDecl Source

ldind_u1 :: MethodDecl Source

ldind_u2 :: MethodDecl Source

ldind_u4 :: MethodDecl Source

ldlen :: MethodDecl Source

ldloc :: Offset -> MethodDecl Source

ldlocN :: LocalName -> MethodDecl Source

ldloca :: Offset -> MethodDecl Source

ldlocaN :: LocalName -> MethodDecl Source

ldnull :: MethodDecl Source

ldsfld :: PrimitiveType -> AssemblyName -> TypeName -> FieldName -> MethodDecl Source

ldsflda :: PrimitiveType -> AssemblyName -> TypeName -> FieldName -> MethodDecl Source

ldstr :: String -> MethodDecl Source

mul :: MethodDecl Source

mul_ovf :: MethodDecl Source

mul_ovf_un :: MethodDecl Source

neg :: MethodDecl Source

newarr :: PrimitiveType -> MethodDecl Source

newobj :: AssemblyName -> TypeName -> [PrimitiveType] -> MethodDecl Source

Creates a new object. Note that this function assumes the constructor returns Void. If this is not the case, call the Newobj constructor manually.

nop :: MethodDecl Source

not :: MethodDecl Source

or :: MethodDecl Source

pop :: MethodDecl Source

rem :: MethodDecl Source

rem_un :: MethodDecl Source

ret :: MethodDecl Source

shl :: MethodDecl Source

shr :: MethodDecl Source

shr_un :: MethodDecl Source

stelem_i :: MethodDecl Source

stelem_i1 :: MethodDecl Source

stelem_i2 :: MethodDecl Source

stelem_i4 :: MethodDecl Source

stelem_i8 :: MethodDecl Source

stelem_r4 :: MethodDecl Source

stelem_r8 :: MethodDecl Source

stelem_ref :: MethodDecl Source

stfld :: PrimitiveType -> AssemblyName -> TypeName -> FieldName -> MethodDecl Source

stind_i :: MethodDecl Source

stind_i1 :: MethodDecl Source

stind_i2 :: MethodDecl Source

stind_i4 :: MethodDecl Source

stind_i8 :: MethodDecl Source

stind_r4 :: MethodDecl Source

stind_r8 :: MethodDecl Source

stind_ref :: MethodDecl Source

stloc :: Offset -> MethodDecl Source

stlocN :: LocalName -> MethodDecl Source

stsfld :: PrimitiveType -> AssemblyName -> TypeName -> FieldName -> MethodDecl Source

sub :: MethodDecl Source

sub_ovf :: MethodDecl Source

sub_ovf_un :: MethodDecl Source

tail :: MethodDecl Source

tailcall :: MethodDecl -> MethodDecl Source

throw :: MethodDecl Source

unaligned :: Alignment -> MethodDecl Source

unalignedPtr :: Alignment -> MethodDecl -> MethodDecl Source

unbox :: PrimitiveType -> MethodDecl Source

volatile :: MethodDecl Source

volatilePtr :: MethodDecl -> MethodDecl Source

xor :: MethodDecl Source

Convenient AST functions

label :: Label -> MethodDecl -> MethodDecl Source

Relabel a labelled mdecl with a new label.

comment :: String -> MethodDecl Source

extends :: TypeName -> Maybe TypeSpec Source

noExtends :: Maybe TypeSpec Source

noImplements :: [TypeSpec]Source

classDef :: [ClassAttr] -> TypeName -> Maybe TypeSpec -> [TypeSpec] -> [FieldDef] -> [MethodDef] -> [TypeDef] -> TypeDef Source

defaultCtor :: [Parameter] -> MethodDef Source

extendsCtor :: AssemblyName -> TypeName -> [Parameter] -> MethodDef Source

simpleAssembly :: [MethodDecl] -> Assembly Source

Create a simple Assembly with one method containing the provided MethodDecls.

mscorlibRef :: AssemblyRef Source