Package it.unive.lisa.program.cfg
Interface CodeMember
-
- All Known Implementing Classes:
AbstractCodeMember,CFG,CFGWithAnalysisResults,NativeCFG
public interface CodeMemberA program member that has code within it. It exposes a method for retrieving aCodeMemberDescriptorcontaining its signature.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description CodeMemberDescriptorgetDescriptor()Yields theCodeMemberDescriptorcontaining the signature of this code member.default voidvalidate()Validates this cfg, ensuring that the code contained in it is well formed.
-
-
-
Method Detail
-
getDescriptor
CodeMemberDescriptor getDescriptor()
Yields theCodeMemberDescriptorcontaining the signature of this code member.- Returns:
- the descriptor of this code member
-
validate
default void validate() throws ProgramValidationExceptionValidates this cfg, ensuring that the code contained in it is well formed.- Throws:
ProgramValidationException- if one of the aforementioned checks fail
-
-