diff options
| -rw-r--r-- | lllars/SYNTAX | 10 | ||||
| -rw-r--r-- | lllars/parser.hs | 46 |
2 files changed, 44 insertions, 12 deletions
diff --git a/lllars/SYNTAX b/lllars/SYNTAX index 76144c1..8aa9904 100644 --- a/lllars/SYNTAX +++ b/lllars/SYNTAX @@ -28,9 +28,9 @@ nur primzahlen eingeben (als emoji) unten geskippt ``` -erster kommentar -lars zweite Kommentar -larslars dritter Kommentar +lars erster kommentar +larslars zweite Kommentar +larslarslars dritter Kommentar write 10 into address 0 0lars10 @@ -58,8 +58,8 @@ srallars lars check if 0 at address 10 if true goto fst -larsORsral 10 larssral +lars|sral 10 larssral check ifnot 0 at address 10 if true goto fst -sralORlars 10 lars +sral|lars 10 lars diff --git a/lllars/parser.hs b/lllars/parser.hs index 88f9951..03bbf02 100644 --- a/lllars/parser.hs +++ b/lllars/parser.hs @@ -1,4 +1,5 @@ import Data.Functor ( ($>) ) +import Data.List ( intercalate ) import Data.Void import Text.Megaparsec hiding ( Label , Pos @@ -14,21 +15,52 @@ type Address = Int type Label = String data Access = Access Address | SAccess Access - deriving Show data Operation = ADD | MUL | SUB | DIV | AND | OR | XOR deriving Show data Addressation = Address Access | BinaryOperation Access Operation Access - deriving Show data Call = WriteCall | ReadCall deriving Show data BranchPolarity = IfTrue | IfFalse deriving Show data Instr = Comment String | Write Address Addressation | LarsCall Call | Label Label | GoTo Label | Branch BranchPolarity Address Label - deriving Show + +instance Show Access where + show (Access address) = "{ \"address\": " <> show address <> " }" + show (SAccess access ) = "{ \"sAddress\": " <> show access <> " }" + +instance Show Addressation where + show (Address access) = "{ \"access\": " <> show access <> " }" + show (BinaryOperation a op b) = + "{ \"binaryOperation\": { \"a\": " + <> show a + <> ", \"op\": \"" + <> show op + <> "\", \"b\": " + <> show b + <> " }}" + +instance Show Instr where + show (Comment string) = "{ \"comment\": \"" <> string <> "\" }" + show (Write target source) = + "{ \"write\": { \"target\": " + <> show target + <> ", \"source\": " + <> show source + <> " }}" + show (LarsCall call ) = "{ \"call\": " <> show call <> " }" + show (Label label) = "{ \"label\": " <> show label <> " }" + show (GoTo label) = "{ \"goto\": " <> show label <> " }" + show (Branch pol jmp label) = + "{ \"branch\": { \"polarity\": " + <> show pol + <> ", \"jmp\": " + <> show jmp + <> ", \"label\": " + <> show label + <> "}}" comment :: Parser Instr -comment = - Comment <$> (some (string "lars") *> many (satisfy $ not . (== '\n'))) +comment = Comment <$> (some (string "lars") *> many (satisfy (/= '\n'))) access :: Parser Access access = (SAccess <$> (string "sral" *> access)) <|> (Access <$> L.decimal) @@ -84,7 +116,7 @@ program = sepEndBy instr (some $ char '\n') main :: IO () main = do - f <- readFile "lars.lars" + f <- readFile "lars.lll" case runParser (program <* eof) "" f of - Right res -> print res + Right res -> putStrLn $ "[" <> intercalate "," (show <$> res) <> "]" Left err -> putStrLn $ errorBundlePretty err |