Safe Haskell	Safe-Inferred
Language	Haskell98

Text.SDF.V2p1.Parser.SDFParser

Synopsis

Documentation

sdflang :: GenLanguageDef SdfString a Identity Source

Language definition for the SDF file format Note that the input stream is specialized for the SdfString type so that we can easily change the stream type in one single place

parseSdf :: FilePath -> SdfString -> DelayFile Source

This is a convenience function used to parse a SDF file and return the AST representation of the SDF file.

lexer :: GenTokenParser SdfString a Identity Source

lexeme :: ParsecT SdfString u Identity a -> ParsecT SdfString u Identity a Source

symbol :: String -> ParsecT SdfString u Identity String Source

parens :: ParsecT SdfString u Identity a -> ParsecT SdfString u Identity a Source

reserved :: String -> ParsecT SdfString u Identity () Source

reservedOp :: String -> ParsecT SdfString u Identity () Source

braces :: ParsecT SdfString u Identity a -> ParsecT SdfString u Identity a Source

whiteSpace :: ParsecT SdfString u Identity () Source

qstring :: Parser String Source

number :: Parser Number Source

rnumber :: Parser Rnumber Source

dnumber :: Parser Dnumber Source

tsvalue :: Parser Tsvalue Source

identifier :: Parser Identifier Source

path :: Parser Identifier Source

delay_file :: Parser DelayFile Source

sdf_header :: Parser SdfHeader Source

sdf_version :: Parser SdfVersion Source

design_name :: Parser DesignName Source

date :: Parser Date Source

vendor :: Parser Vendor Source

program_name :: Parser ProgramName Source

program_version :: Parser ProgramVersion Source

hierarchy_divider :: Parser HierarchyDivider Source

hchar :: Parser String Source

voltage :: Parser Voltage Source

process :: Parser Process Source

temperature :: Parser Temperature Source

time_scale :: Parser TimeScale Source

cell :: Parser Cell Source

celltype :: Parser Celltype Source

cell_instance :: Parser CellInstance Source

instance' :: Parser Instance Source

correlation :: Parser Correlation Source

corr_factor :: Parser CorrFactor Source

timing_spec :: Parser TimingSpec Source

del_spec :: Parser DelSpec Source

tc_spec :: Parser TcSpec Source

deltype :: Parser Deltype Source

input_output_path :: Parser InputOutputPath Source

del_def :: Parser DelDef Source

net_spec :: Parser NetSpec Source

tc_def :: Parser TcDef Source

tchk_def :: Parser TchkDef Source

cns_def :: Parser CnsDef Source

port_tchk :: Parser PortTchk Source

constraint_path :: Parser ConstraintPath Source

port_spec :: Parser PortSpec Source

port_edge :: Parser PortEdge Source

edge_identifier :: Parser EdgeIdentifier Source

port_path :: Parser PortPath Source

port :: Parser Port Source

scalar_port :: Parser ScalarPort Source

bus_port :: Parser BusPort Source

port_instance :: Parser PortInstance Source

value :: Parser Triple Source

triple :: Parser Triple Source

rvalue :: Parser Triple Source

rtriple :: Parser Triple Source

rvalue_list :: Parser RvalueList Source

conditional_port_expr :: Parser String Source

simple_expression :: Parser String Source

timing_check_condition :: Parser TimingCheckCondition Source

scalar_constant :: Parser String Source

unary_operator :: [String] Source

inversion_operator :: [String] Source

binary_operator :: [String] Source

equality_operator :: [String] Source

maybeParser :: Parser a -> Parser (Maybe a) Source

Given a parser, attempt to parse. If parser succeeds, returns a Just value, else Nothing is returned.

sdf_simple :: String -> Parser a -> Parser a Source

Since the format (FOO ...) occurs so often in SDF syntax, the parser sdf_simple is a short cut version for this parser

rtriple_or_rnumber :: Parser Rtriple Source

Parses a rtriple or a rnumber Here we take a shortcut in the data representation, where an rnumber is represented as an rtriple of the same value

valueOrRvalue :: Parser Double -> Parser Triple Source

Parses a value or an rvalue

posOrNegPair :: String -> String -> Parser ((Rnumber, Maybe Rnumber), (Rnumber, Maybe Rnumber)) Source

Parses a posPair or a negPair name1 and name2 is the edge name, ie. posedge or negedge

sign :: Parser String Source

Parses the negative sign -, or the positive + Absence of sign implies positive

tripleOrRtriple :: Parser Double -> Parser Triple Source

identifier' :: Parser Identifier Source

This is the identifier defined in the SDF spec, but the parser does not consume trailing white spaces (ie. wrapped in a lexeme) as other parsers do. We keep this version of the parser so that we can combine it with hchar parser later to form path parser

module Text.SDF.V2p1.Parser.SDFTypes