Uses of Record Class
ca.mcscert.jpipe.compiler.model.DiagnosticSnapshot.ElementCounts

Packages that use DiagnosticSnapshot.ElementCounts

Package	Description
ca.mcscert.jpipe.compiler.model

Uses of DiagnosticSnapshot.ElementCounts in ca.mcscert.jpipe.compiler.model

Methods in ca.mcscert.jpipe.compiler.model that return DiagnosticSnapshot.ElementCounts

Modifier and Type	Method	Description
DiagnosticSnapshot.ElementCounts	DiagnosticSnapshot.ModelInfo.counts()	Returns the value of the counts record component.

Constructors in ca.mcscert.jpipe.compiler.model with parameters of type DiagnosticSnapshot.ElementCounts

Modifier	Constructor	Description
	ModelInfo(String name, String kind, String implementedTemplate, SourceLocation location, DiagnosticSnapshot.ElementCounts counts, List<DiagnosticSnapshot.ImplementorInfo> usedBy, List<DiagnosticSnapshot.SymbolInfo> symbols, List<DiagnosticSnapshot.AliasInfo> aliases)	Copies every collection on the way in, as the enclosing record does.