import TokenType.*

class Semantic {
    /**
     * Checks and validates whether the code complies with the semantic rules
     * TODO: Handle scopes via { and }
     */
    fun check(statements: MutableList<MutableList<Token>>): Boolean {
        val variables = mutableListOf<String>()
        statements.forEach { statement ->
            if (statement[0].type == Variable) {
                if (nextNonEmpty(statement, 0).type == Assignment) {
                    variables.add(statement[0].content)
                }
            }

            for (token in statement) {
                if (token.type == Variable && token.content !in variables) {
                    throw Exception("Undeclared variable")
                }
            }
        }
        return true
    }
}