@Override public Boolean caseANamedInvariantType(ANamedInvariantType type) throws AnalysisException { if (type.getOpaque()) { return false; } return type.getType().apply(THIS); }
@Override public Boolean caseANamedInvariantType(ANamedInvariantType type) throws AnalysisException { if (type.getOpaque()) { return false; } return type.getType().apply(THIS); }
@Override public Boolean caseANamedInvariantType(ANamedInvariantType type, Integer size) throws AnalysisException { if (type.getOpaque()) { return false; } return type.getType().apply(THIS, size); }
@Override public PType caseANamedInvariantType(ANamedInvariantType type, String typename) throws AnalysisException { if (type.getOpaque()) { return null; } return type.getType().apply(THIS, typename); }
@Override public Boolean caseANamedInvariantType(ANamedInvariantType type, Class<? extends PType> typeclass) throws AnalysisException { if (type.getOpaque()) { return false; } return type.getType().apply(THIS, typeclass); }
@Override public Boolean caseANamedInvariantType(ANamedInvariantType type) throws AnalysisException { if (type.getOpaque()) { return false; } return type.getType().apply(THIS); }
@Override public Boolean caseANamedInvariantType(ANamedInvariantType node, ILexLocation q) throws AnalysisException { if (node.getOpaque() && !q.getModule().equals(node.getLocation().getModule())) return false; if (node.getEqDef() != null) return true; return node.getType().apply(this, q); }
@Override public Boolean caseANamedInvariantType(ANamedInvariantType node, ILexLocation q) throws AnalysisException { if (node.getOpaque() && !q.getModule().equals(node.getLocation().getModule())) return false; if (node.getOrdDef() != null) return true; return node.getType().apply(this, q); }