Property definitions

nitc $ VerifyNitniCallbacksPhase :: defaultinit
# * checks for the validity of callbacks
# * store the callbacks on each method
class VerifyNitniCallbacksPhase
	super Phase

	redef fun process_npropdef(npropdef)
	do
		if not npropdef isa AMethPropdef then return
		var mpropdef = npropdef.mpropdef
		if mpropdef == null then return
		if not mpropdef.is_extern then return

		npropdef.verify_nitni_callbacks(toolcontext)
	end
end
src/nitni/nitni_callbacks.nit:29,1--43,3