import structs/[ArrayList, HashMap]

import Expression, Scope, Type, Call
import middle/Resolver

CoverDecl: class extends Expression {

    body := Scope new()
    _type: Type

    resolved := false // artificial testing
    
    name: String { get set }
    
    init: func ~_cover {
        name = ""
	// type?
    }
    
    resolve: func (task: Task) {
	resolved = true // artificial testing
        task queue(body)
    }
  
    toString: func -> String {
	"cover " + body toString()
    }

    getType: func -> Type {
        _type
    }

}