public final class DuplicateFinder extends Object
| Modifier and Type | Class and Description |
|---|---|
static class |
DuplicateFinder.DuplicateCollection |
static class |
DuplicateFinder.DuplicateEntry |
| Constructor and Description |
|---|
DuplicateFinder(Iterable<Protocol> protocols,
Map<String,BitCounter> bitUsage)
Constructor
|
DuplicateFinder(String varName,
Iterable<Protocol> protocols) |
| Modifier and Type | Method and Description |
|---|---|
Map<String,DuplicateFinder.DuplicateCollection> |
getDuplicates() |
public DuplicateFinder(Iterable<Protocol> protocols, Map<String,BitCounter> bitUsage) throws NameUnassignedException
protocols - bitUsage - NameUnassignedException - Thrown if not all protocols contain all variables in bitUsage.public DuplicateFinder(String varName, Iterable<Protocol> protocols) throws NameUnassignedException
NameUnassignedExceptionpublic Map<String,DuplicateFinder.DuplicateCollection> getDuplicates()
Copyright © 2019. All rights reserved.