X-Git-Url: http://wien.tomnetworks.com/gitweb/?p=mate.git;a=blobdiff_plain;f=Mate%2FTypes.hs;h=5c5428ca8be81683e82dbc0a392bcce8b9e0db0f;hp=5e5bf221e0ba26420943967d2b77e2cdcedb7ab6;hb=0ddbcb63c3be33c9825569711099851be38f2a7f;hpb=a60718741f1acee2830528f57e2d48f2df1f7acb diff --git a/Mate/Types.hs b/Mate/Types.hs index 5e5bf22..5c5428c 100644 --- a/Mate/Types.hs +++ b/Mate/Types.hs @@ -22,7 +22,12 @@ data BasicBlock = BasicBlock { successor :: BBEnd } -- describes (leaving) edges of a CFG node -data BBEnd = Return | FallThrough BlockID | OneTarget BlockID | TwoTarget BlockID BlockID deriving Show +data BBEnd + = Return + | FallThrough BlockID + | OneTarget BlockID + | TwoTarget BlockID BlockID + deriving Show type MapBB = M.Map BlockID BasicBlock @@ -38,12 +43,12 @@ data RawMethod = RawMethod { -- MethodInfo = relevant information about callee type TrapMap = M.Map NativeWord TrapCause -data TrapCause = - StaticMethod MethodInfo | -- for static calls - VirtualCall Bool MethodInfo (IO NativeWord) | -- for invoke{interface,virtual} - InstanceOf B.ByteString | -- class name - NewObject B.ByteString | -- class name - StaticField StaticFieldInfo +data TrapCause + = StaticMethod MethodInfo -- for static calls + | VirtualCall Bool MethodInfo (IO NativeWord) -- for invoke{interface,virtual} + | InstanceOf B.ByteString -- class name + | NewObject B.ByteString -- class name + | StaticField StaticFieldInfo data StaticFieldInfo = StaticFieldInfo { sfiClassName :: B.ByteString,