main.go

package main

import (
	"errors"
	"fmt"
	"github.com/Karocyt/expertsystem/internal/lexer"
	"github.com/Karocyt/expertsystem/internal/solver"
	"io/ioutil"
	"os"
)

func getInput() (string, error) {
	var s string

	if len(os.Args) == 2 {
		buf, e := ioutil.ReadFile(os.Args[1])
		s = string(buf)
		return s, e
	} else if len(os.Args) > 2 {
		return s, errors.New(fmt.Sprintf("Usage: %s {filename}", os.Args[0]))
	} else {
		return s, errors.New(fmt.Sprintf("Stdin mode ? Not Today.\nUsage: %s {filename}", os.Args[0]))
	}
	return s, nil
}

func print_result(b *solver.Builder) (e error) {
	for _, s := range b.Queries {
		val, e := b.Eval_rules(s)
		if e != nil {
			return e
		} else {
			fmt.Printf("Query results:\n\t%s = %t\n", s, val)
		}
	}
	return e
}

func mainfunc() int {
	content, e := getInput()
	if e != nil {
		fmt.Println(e)
		return 1
	}
	l := lexer.New(content, os.Args[1])
	if l.Error != nil {
		fmt.Println(e)
		return 1
	}
	s, e := solver.New(l.Tokens)
	if l.Error != nil {
		e = l.Error
	}
	if e != nil {
		fmt.Println(e)
		return 1
	}
	//fmt.Println("\nQueries:\t", s.Queries, "\nVariables:\t", s.Variables)
	e = print_result(&s)
	if e != nil {
		fmt.Println(e)
		return 1
	}
	return 0
}

func main() {
	os.Exit(mainfunc())
}