Property definitions

nitc $ CodeFile :: defaultinit
# C code file generated from the `writers` and the `required_declarations`
#
# A file unit aims to be autonomous and is made or one or more `CodeWriter`s.
class CodeFile
	# Basename of the file, will be appended by `.h` and `.c`
	var name: String

	# `CodeWriter` used in sequence to fill the top of the body, then the bottom
	var writers = new Array[CodeWriter]

	# Required declarations keys
	#
	# See: `provide_declaration`
	var required_declarations = new HashSet[String]
end
src/compiler/abstract_compiler.nit:1277,1--1291,3