Module dev.civl.abc

Package dev.civl.abc.ast.entity.IF

Interface TaggedEntity

All Superinterfaces:

Entity, ProgramEntity

All Known Subinterfaces:

EnumerationType, StructureOrUnionType

public interface TaggedEntity
extends ProgramEntity

Marker interfaces for

invalid reference

StructureOrUnion

and Enumeration entities. These are entities that have a "tag", the identifier that appears after the struct, union, or enum token in the declaration. These tags occupy a tag namespace which is distinct from the ordinary namespace used by variables, functions, etc.

Nested Class Summary

Nested classes/interfaces inherited from interface dev.civl.abc.ast.entity.IF.Entity

Entity.EntityKind

Nested classes/interfaces inherited from interface dev.civl.abc.ast.entity.IF.ProgramEntity

ProgramEntity.LinkageKind

Method Summary

Modifier and Type	Method	Description
boolean	isComplete()	Is this tagged entity complete? That is, have the members inside curly braces been specified?

Methods inherited from interface dev.civl.abc.ast.entity.IF.Entity

getEntityKind, getName

Methods inherited from interface dev.civl.abc.ast.entity.IF.ProgramEntity

addDeclaration, getDeclaration, getDeclarations, getDefinition, getFirstDeclaration, getLinkage, getNumDeclarations, getType, isSystem, setDefinition, setIsSystem, setLinkage, setType

Method Details

isComplete

boolean isComplete()

Is this tagged entity complete? That is, have the members inside curly braces been specified?

Returns:

true iff this is complete