c0check-0.0: src/c0check.hs

module Main where

import System.Environment (getArgs)
import Language.C0.Parser.C0Parser (yesNo)

checkFile fn = do
  input <- readFile fn
  putStr "Folgendes Programm wurde gelesen:\n\n"
  putStr input
  putStr "\n\n"
  case yesNo input of
    True  -> putStr "Ihr Programm ist syntaktisch korrektes C0."
    False -> putStr "Das getestete Programm ist *kein* C0-Programm."
  putStr "\n\n"
  

main = do
  args <- getArgs
  case args of
   []   -> error "Die zu testende Quellcodedatei ist als Argument zu uebergeben."
   [fn] -> checkFile fn
   _    -> error "Zuviele Parameter. Aufruf nur als c0check prog.c"