RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
ValidFunctionCallChecker only should check parameters if the list isn't null.
Properly check arguments passed into FacilityDec. This addresses Issue #319.
Created ResolveFileBasicInfo to contain the name of the file and the name of the parent directory. This is to avoid files with the same name that exist in different directories in our workspace.
A bunch of changes to how we generate and handle ResolveFile due to the change listed above.
ValidFunctionCallCheckeronly should check parameters if the list isn'tnull.FacilityDec. This addresses Issue #319.ResolveFileBasicInfoto contain the name of the file and the name of the parent directory. This is to avoid files with the same name that exist in different directories in our workspace.ResolveFiledue to the change listed above.