@Override public AOperationType defaultSInvariantType(SInvariantType type) throws AnalysisException { if (type instanceof ANamedInvariantType) { return ((ANamedInvariantType) type).getType().apply(THIS); } else { return null; } }
@Override public SSetType defaultSInvariantType(SInvariantType type) throws AnalysisException { if (type instanceof ANamedInvariantType) { return ((ANamedInvariantType) type).getType().apply(THIS); } else { return null; } }
@Override public AFunctionType caseANamedInvariantType(ANamedInvariantType type) throws AnalysisException { return type.getType().apply(THIS); }
@Override public SMapType caseANamedInvariantType(ANamedInvariantType type) throws AnalysisException { return type.getType().apply(THIS); }
@Override public AProductType caseANamedInvariantType(ANamedInvariantType type, Integer size) throws AnalysisException { return type.getType().apply(THIS, size); }
@Override public SNumericBasicType caseANamedInvariantType(ANamedInvariantType type) throws AnalysisException { return type.getType().apply(THIS); }
@Override public AUnionType defaultSInvariantType(SInvariantType type) throws AnalysisException { if (type instanceof ANamedInvariantType) { return ((ANamedInvariantType) type).getType().apply(THIS); } else { return null; } }
@Override public AProductType defaultSInvariantType(SInvariantType type) throws AnalysisException { if (type instanceof ANamedInvariantType) { return ((ANamedInvariantType) type).getType().apply(THIS); } else { return null; } }
@Override public AClassType defaultSInvariantType(SInvariantType type) throws AnalysisException { if (type instanceof ANamedInvariantType) { return ((ANamedInvariantType) type).getType().apply(THIS); } else { return null; } }
@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 type) throws AnalysisException { if (type.getOpaque()) { return false; } return type.getType().apply(THIS); }
@Override public Boolean defaultSInvariantType(SInvariantType type) throws AnalysisException { if (type instanceof ANamedInvariantType) { if (type.getOpaque()) { return false; } return ((ANamedInvariantType) type).getType().apply(THIS);// PTypeAssistantTC.isClass(type.getType()); } else { return false; } }
@Override public Boolean defaultSInvariantType(SInvariantType type) throws AnalysisException { if (type instanceof ANamedInvariantType) { if (type.getOpaque()) { return false; } return ((ANamedInvariantType) type).getType().apply(THIS);// PTypeAssistantTC.isSeq(type.getType()); } else { return false; } }
@Override public void caseANamedInvariantType(ANamedInvariantType type) throws AnalysisException { if (!type.getResolved()) { return; } else { type.setResolved(false); } // PTypeAssistantTC.unResolve(type.getType()); 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.getOrdDef() != 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.getEqDef() != null) return true; return node.getType().apply(this, q); }