Safe Haskell	None
Language	Haskell2010

OutputGeneration.JSON

Contents

Orphan instances

Synopsis

generate_json :: Context -> String -> String -> Bool -> IO ()

Documentation

generate_json Source #

Arguments

:: Context
-> String	The file name to write the pretty-printed JSON
-> String	The file name to write the JSON
-> Bool	Should we include invariants?
-> IO ()

Generate JSON

Orphan instances

ToJSON Opcode Source #
Instance details Methods toJSON :: Opcode -> Value # toEncoding :: Opcode -> Encoding # toJSONList :: [Opcode] -> Value # toEncodingList :: [Opcode] -> Encoding #
ToJSON Prefix Source #
Instance details Methods toJSON :: Prefix -> Value # toEncoding :: Prefix -> Encoding # toJSONList :: [Prefix] -> Value # toEncodingList :: [Prefix] -> Encoding #
ToJSON Register Source #
Instance details Methods toJSON :: Register -> Value # toEncoding :: Register -> Encoding # toJSONList :: [Register] -> Value # toEncodingList :: [Register] -> Encoding #
ToJSON StatePart Source #
Instance details Methods toJSON :: StatePart -> Value # toEncoding :: StatePart -> Encoding # toJSONList :: [StatePart] -> Value # toEncodingList :: [StatePart] -> Encoding #
ToJSON SimpleExpr Source #
Instance details Methods toJSON :: SimpleExpr -> Value # toEncoding :: SimpleExpr -> Encoding # toJSONList :: [SimpleExpr] -> Value # toEncodingList :: [SimpleExpr] -> Encoding #
ToJSON Operator Source #
Instance details Methods toJSON :: Operator -> Value # toEncoding :: Operator -> Encoding # toJSONList :: [Operator] -> Value # toEncodingList :: [Operator] -> Encoding #
ToJSON BotSrc Source #
Instance details Methods toJSON :: BotSrc -> Value # toEncoding :: BotSrc -> Encoding # toJSONList :: [BotSrc] -> Value # toEncodingList :: [BotSrc] -> Encoding #
ToJSON BotTyp Source #
Instance details Methods toJSON :: BotTyp -> Value # toEncoding :: BotTyp -> Encoding # toJSONList :: [BotTyp] -> Value # toEncodingList :: [BotTyp] -> Encoding #
ToJSON PointerBase Source #
Instance details Methods toJSON :: PointerBase -> Value # toEncoding :: PointerBase -> Encoding # toJSONList :: [PointerBase] -> Value # toEncodingList :: [PointerBase] -> Encoding #
ToJSON SValue Source #
Instance details Methods toJSON :: SValue -> Value # toEncoding :: SValue -> Encoding # toJSONList :: [SValue] -> Value # toEncodingList :: [SValue] -> Encoding #
ToJSON SAddend Source #
Instance details Methods toJSON :: SAddend -> Value # toEncoding :: SAddend -> Encoding # toJSONList :: [SAddend] -> Value # toEncodingList :: [SAddend] -> Encoding #
ToJSON SPointer Source #
Instance details Methods toJSON :: SPointer -> Value # toEncoding :: SPointer -> Encoding # toJSONList :: [SPointer] -> Value # toEncodingList :: [SPointer] -> Encoding #
ToJSON PtrOffset Source #
Instance details Methods toJSON :: PtrOffset -> Value # toEncoding :: PtrOffset -> Encoding # toJSONList :: [PtrOffset] -> Value # toEncodingList :: [PtrOffset] -> Encoding #
ToJSON PointerDomain Source #
Instance details Methods toJSON :: PointerDomain -> Value # toEncoding :: PointerDomain -> Encoding # toJSONList :: [PointerDomain] -> Value # toEncodingList :: [PointerDomain] -> Encoding #
ToJSON Address Source #
Instance details Methods toJSON :: Address -> Value # toEncoding :: Address -> Encoding # toJSONList :: [Address] -> Value # toEncodingList :: [Address] -> Encoding #
ToJSON Operand Source #
Instance details Methods toJSON :: Operand -> Value # toEncoding :: Operand -> Encoding # toJSONList :: [Operand] -> Value # toEncodingList :: [Operand] -> Encoding #
ToJSON Instruction Source #
Instance details Methods toJSON :: Instruction -> Value # toEncoding :: Instruction -> Encoding # toJSONList :: [Instruction] -> Value # toEncodingList :: [Instruction] -> Encoding #
ToJSON Postcondition Source #
Instance details Methods toJSON :: Postcondition -> Value # toEncoding :: Postcondition -> Encoding # toJSONList :: [Postcondition] -> Value # toEncodingList :: [Postcondition] -> Encoding #
ToJSON FunctionSummary Source #
Instance details Methods toJSON :: FunctionSummary -> Value # toEncoding :: FunctionSummary -> Encoding # toJSONList :: [FunctionSummary] -> Value # toEncodingList :: [FunctionSummary] -> Encoding #
ToJSON JSON Source #
Instance details Methods toJSON :: JSON -> Value # toEncoding :: JSON -> Encoding # toJSONList :: [JSON] -> Value # toEncodingList :: [JSON] -> Encoding #
ToJSONKey StatePart Source #
Instance details Methods toJSONKey :: ToJSONKeyFunction StatePart # toJSONKeyList :: ToJSONKeyFunction [StatePart] #