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