private void checkTyperef(TyperefDataSchema older, TyperefDataSchema newer) { checkName(older, newer); _path.addLast(DataSchemaConstants.REF_KEY); check(older.getDereferencedDataSchema(), newer.getDereferencedDataSchema()); _path.removeLast(); }