/* * This program source code file is part of KiCad, a free EDA CAD application. * * Copyright (C) 2015 Jean-Pierre Charras, jp.charras at wanadoo.fr * Copyright (C) 2011 Wayne Stambaugh * Copyright (C) 1992-2024 KiCad Developers, see AUTHORS.txt for contributors. * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License * as published by the Free Software Foundation; either version 2 * of the License, or (at your option) any later version. * * This program is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU General Public License for more details. * * You should have received a copy of the GNU General Public License * along with this program; if not, you may find one here: * http://www.gnu.org/licenses/old-licenses/gpl-2.0.html * or you may search the http://www.gnu.org website for the version 2 license, * or you may write to the Free Software Foundation, Inc., * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA */ #include #include #include "connection_graph.h" #include "kiface_ids.h" #include #include // for ExpandEnvVarSubstitutions #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include /* ERC tests : * 1 - conflicts between connected pins ( example: 2 connected outputs ) * 2 - minimal connections requirements ( 1 input *must* be connected to an * output, or a passive pin ) */ /* * Minimal ERC requirements: * All pins *must* be connected (except ELECTRICAL_PINTYPE::PT_NC). * When a pin is not connected in schematic, the user must place a "non * connected" symbol to this pin. * This ensures a forgotten connection will be detected. */ // Messages for matrix rows: const wxString CommentERC_H[] = { _( "Input Pin" ), _( "Output Pin" ), _( "Bidirectional Pin" ), _( "Tri-State Pin" ), _( "Passive Pin" ), _( "Free Pin" ), _( "Unspecified Pin" ), _( "Power Input Pin" ), _( "Power Output Pin" ), _( "Open Collector" ), _( "Open Emitter" ), _( "No Connection" ) }; // Messages for matrix columns const wxString CommentERC_V[] = { _( "Input Pin" ), _( "Output Pin" ), _( "Bidirectional Pin" ), _( "Tri-State Pin" ), _( "Passive Pin" ), _( "Free Pin" ), _( "Unspecified Pin" ), _( "Power Input Pin" ), _( "Power Output Pin" ), _( "Open Collector" ), _( "Open Emitter" ), _( "No Connection" ) }; // List of pin types that are considered drivers for usual input pins // i.e. pin type = ELECTRICAL_PINTYPE::PT_INPUT, but not PT_POWER_IN // that need only a PT_POWER_OUT pin type to be driven const std::set DrivingPinTypes = { ELECTRICAL_PINTYPE::PT_OUTPUT, ELECTRICAL_PINTYPE::PT_POWER_OUT, ELECTRICAL_PINTYPE::PT_PASSIVE, ELECTRICAL_PINTYPE::PT_TRISTATE, ELECTRICAL_PINTYPE::PT_BIDI }; // List of pin types that are considered drivers for power pins // In fact only a ELECTRICAL_PINTYPE::PT_POWER_OUT pin type can drive // power input pins const std::set DrivingPowerPinTypes = { ELECTRICAL_PINTYPE::PT_POWER_OUT }; // List of pin types that require a driver elsewhere on the net const std::set DrivenPinTypes = { ELECTRICAL_PINTYPE::PT_INPUT, ELECTRICAL_PINTYPE::PT_POWER_IN }; int ERC_TESTER::TestDuplicateSheetNames( bool aCreateMarker ) { SCH_SCREEN* screen; int err_count = 0; SCH_SCREENS screenList( m_schematic->Root() ); for( screen = screenList.GetFirst(); screen != nullptr; screen = screenList.GetNext() ) { std::vector list; for( SCH_ITEM* item : screen->Items().OfType( SCH_SHEET_T ) ) list.push_back( static_cast( item ) ); for( size_t i = 0; i < list.size(); i++ ) { SCH_SHEET* sheet = list[i]; for( size_t j = i + 1; j < list.size(); j++ ) { SCH_SHEET* test_item = list[j]; // We have found a second sheet: compare names // we are using case insensitive comparison to avoid mistakes between // similar names like Mysheet and mysheet if( sheet->GetShownName( false ).CmpNoCase( test_item->GetShownName( false ) ) == 0 ) { if( aCreateMarker ) { std::shared_ptr ercItem = ERC_ITEM::Create( ERCE_DUPLICATE_SHEET_NAME ); ercItem->SetItems( sheet, test_item ); SCH_MARKER* marker = new SCH_MARKER( ercItem, sheet->GetPosition() ); screen->Append( marker ); } err_count++; } } } } return err_count; } void ERC_TESTER::TestTextVars( DS_PROXY_VIEW_ITEM* aDrawingSheet ) { DS_DRAW_ITEM_LIST wsItems( schIUScale ); auto unresolved = [this]( wxString str ) { str = ExpandEnvVarSubstitutions( str, &m_schematic->Prj() ); return str.Matches( wxS( "*${*}*" ) ); }; if( aDrawingSheet ) { wsItems.SetPageNumber( wxS( "1" ) ); wsItems.SetSheetCount( 1 ); wsItems.SetFileName( wxS( "dummyFilename" ) ); wsItems.SetSheetName( wxS( "dummySheet" ) ); wsItems.SetSheetLayer( wxS( "dummyLayer" ) ); wsItems.SetProject( &m_schematic->Prj() ); wsItems.BuildDrawItemsList( aDrawingSheet->GetPageInfo(), aDrawingSheet->GetTitleBlock() ); } for( SCH_SHEET_PATH& sheet : m_schematic->GetSheets() ) { SCH_SCREEN* screen = sheet.LastScreen(); for( SCH_ITEM* item : screen->Items().OfType( SCH_LOCATE_ANY_T ) ) { if( item->Type() == SCH_SYMBOL_T ) { SCH_SYMBOL* symbol = static_cast( item ); for( SCH_FIELD& field : symbol->GetFields() ) { if( unresolved( field.GetShownText( &sheet, true ) ) ) { auto ercItem = ERC_ITEM::Create( ERCE_UNRESOLVED_VARIABLE ); ercItem->SetItems( &field ); ercItem->SetSheetSpecificPath( sheet ); SCH_MARKER* marker = new SCH_MARKER( ercItem, field.GetPosition() ); screen->Append( marker ); } } } else if( item->Type() == SCH_SHEET_T ) { SCH_SHEET* subSheet = static_cast( item ); for( SCH_FIELD& field : subSheet->GetFields() ) { if( unresolved( field.GetShownText( &sheet, true ) ) ) { auto ercItem = ERC_ITEM::Create( ERCE_UNRESOLVED_VARIABLE ); ercItem->SetItems( &field ); ercItem->SetSheetSpecificPath( sheet ); SCH_MARKER* marker = new SCH_MARKER( ercItem, field.GetPosition() ); screen->Append( marker ); } } SCH_SHEET_PATH subSheetPath = sheet; subSheetPath.push_back( subSheet ); for( SCH_SHEET_PIN* pin : subSheet->GetPins() ) { if( pin->GetShownText( &subSheetPath, true ).Matches( wxS( "*${*}*" ) ) ) { auto ercItem = ERC_ITEM::Create( ERCE_UNRESOLVED_VARIABLE ); ercItem->SetItems( pin ); ercItem->SetSheetSpecificPath( sheet ); SCH_MARKER* marker = new SCH_MARKER( ercItem, pin->GetPosition() ); screen->Append( marker ); } } } else if( SCH_TEXT* text = dynamic_cast( item ) ) { if( text->GetShownText( &sheet, true ).Matches( wxS( "*${*}*" ) ) ) { auto ercItem = ERC_ITEM::Create( ERCE_UNRESOLVED_VARIABLE ); ercItem->SetItems( text ); ercItem->SetSheetSpecificPath( sheet ); SCH_MARKER* marker = new SCH_MARKER( ercItem, text->GetPosition() ); screen->Append( marker ); } } else if( SCH_TEXTBOX* textBox = dynamic_cast( item ) ) { if( textBox->GetShownText( &sheet, true ).Matches( wxS( "*${*}*" ) ) ) { auto ercItem = ERC_ITEM::Create( ERCE_UNRESOLVED_VARIABLE ); ercItem->SetItems( textBox ); ercItem->SetSheetSpecificPath( sheet ); SCH_MARKER* marker = new SCH_MARKER( ercItem, textBox->GetPosition() ); screen->Append( marker ); } } } for( DS_DRAW_ITEM_BASE* item = wsItems.GetFirst(); item; item = wsItems.GetNext() ) { if( DS_DRAW_ITEM_TEXT* text = dynamic_cast( item ) ) { if( text->GetShownText( true ).Matches( wxS( "*${*}*" ) ) ) { std::shared_ptr erc = ERC_ITEM::Create( ERCE_UNRESOLVED_VARIABLE ); erc->SetErrorMessage( _( "Unresolved text variable in drawing sheet" ) ); erc->SetSheetSpecificPath( sheet ); SCH_MARKER* marker = new SCH_MARKER( erc, text->GetPosition() ); screen->Append( marker ); } } } } } int ERC_TESTER::TestConflictingBusAliases() { wxString msg; int err_count = 0; SCH_SCREENS screens( m_schematic->Root() ); std::vector< std::shared_ptr > aliases; for( SCH_SCREEN* screen = screens.GetFirst(); screen != nullptr; screen = screens.GetNext() ) { const auto& screen_aliases = screen->GetBusAliases(); for( const std::shared_ptr& alias : screen_aliases ) { std::vector aliasMembers = alias->Members(); std::sort( aliasMembers.begin(), aliasMembers.end() ); for( const std::shared_ptr& test : aliases ) { std::vector testMembers = test->Members(); std::sort( testMembers.begin(), testMembers.end() ); if( alias->GetName() == test->GetName() && aliasMembers != testMembers ) { msg.Printf( _( "Bus alias %s has conflicting definitions on %s and %s" ), alias->GetName(), alias->GetParent()->GetFileName(), test->GetParent()->GetFileName() ); std::shared_ptr ercItem = ERC_ITEM::Create( ERCE_BUS_ALIAS_CONFLICT ); ercItem->SetErrorMessage( msg ); SCH_MARKER* marker = new SCH_MARKER( ercItem, VECTOR2I() ); test->GetParent()->Append( marker ); ++err_count; } } } aliases.insert( aliases.end(), screen_aliases.begin(), screen_aliases.end() ); } return err_count; } int ERC_TESTER::TestMultiunitFootprints() { SCH_SHEET_LIST sheets = m_schematic->GetSheets(); int errors = 0; SCH_MULTI_UNIT_REFERENCE_MAP refMap; sheets.GetMultiUnitSymbols( refMap, true ); for( std::pair& symbol : refMap ) { SCH_REFERENCE_LIST& refList = symbol.second; if( refList.GetCount() == 0 ) { wxFAIL; // it should not happen continue; } // Reference footprint SCH_SYMBOL* unit = nullptr; wxString unitName; wxString unitFP; for( unsigned i = 0; i < refList.GetCount(); ++i ) { SCH_SHEET_PATH sheetPath = refList.GetItem( i ).GetSheetPath(); unitFP = refList.GetItem( i ).GetFootprint(); if( !unitFP.IsEmpty() ) { unit = refList.GetItem( i ).GetSymbol(); unitName = unit->GetRef( &sheetPath, true ); break; } } for( unsigned i = 0; i < refList.GetCount(); ++i ) { SCH_REFERENCE& secondRef = refList.GetItem( i ); SCH_SYMBOL* secondUnit = secondRef.GetSymbol(); wxString secondName = secondUnit->GetRef( &secondRef.GetSheetPath(), true ); const wxString secondFp = secondRef.GetFootprint(); wxString msg; if( unit && !secondFp.IsEmpty() && unitFP != secondFp ) { msg.Printf( _( "Different footprints assigned to %s and %s" ), unitName, secondName ); std::shared_ptr ercItem = ERC_ITEM::Create( ERCE_DIFFERENT_UNIT_FP ); ercItem->SetErrorMessage( msg ); ercItem->SetItems( unit, secondUnit ); SCH_MARKER* marker = new SCH_MARKER( ercItem, secondUnit->GetPosition() ); secondRef.GetSheetPath().LastScreen()->Append( marker ); ++errors; } } } return errors; } int ERC_TESTER::TestMissingUnits() { ERC_SETTINGS& settings = m_schematic->ErcSettings(); SCH_SHEET_LIST sheets = m_schematic->GetSheets(); int errors = 0; SCH_MULTI_UNIT_REFERENCE_MAP refMap; sheets.GetMultiUnitSymbols( refMap, true ); for( std::pair& symbol : refMap ) { SCH_REFERENCE_LIST& refList = symbol.second; wxCHECK2( refList.GetCount(), continue ); // Reference unit SCH_REFERENCE& base_ref = refList.GetItem( 0 ); SCH_SYMBOL* unit = base_ref.GetSymbol(); LIB_SYMBOL* libSymbol = base_ref.GetLibPart(); if( static_cast( refList.GetCount() ) == libSymbol->GetUnitCount() ) continue; std::set lib_units; std::set instance_units; std::set missing_units; auto report_missing = [&]( std::set& aMissingUnits, wxString aErrorMsg, int aErrorCode ) { wxString msg; wxString missing_pin_units = wxS( "[ " ); int ii = 0; for( int missing_unit : aMissingUnits ) { if( ii++ == 3 ) { missing_pin_units += wxS( "....." ); break; } missing_pin_units += libSymbol->GetUnitDisplayName( missing_unit ) + ", " ; } missing_pin_units.Truncate( missing_pin_units.length() - 2 ); missing_pin_units += wxS( " ]" ); msg.Printf( aErrorMsg, symbol.first, missing_pin_units ); std::shared_ptr ercItem = ERC_ITEM::Create( aErrorCode ); ercItem->SetErrorMessage( msg ); ercItem->SetItems( unit ); SCH_MARKER* marker = new SCH_MARKER( ercItem, unit->GetPosition() ); base_ref.GetSheetPath().LastScreen()->Append( marker ); ++errors; }; for( int ii = 1; ii <= libSymbol->GetUnitCount(); ++ii ) lib_units.insert( lib_units.end(), ii ); for( size_t ii = 0; ii < refList.GetCount(); ++ii ) instance_units.insert( instance_units.end(), refList.GetItem( ii ).GetUnit() ); std::set_difference( lib_units.begin(), lib_units.end(), instance_units.begin(), instance_units.end(), std::inserter( missing_units, missing_units.begin() ) ); if( !missing_units.empty() && settings.IsTestEnabled( ERCE_MISSING_UNIT ) ) { report_missing( missing_units, _( "Symbol %s has unplaced units %s" ), ERCE_MISSING_UNIT ); } std::set missing_power; std::set missing_input; std::set missing_bidi; for( int missing_unit : missing_units ) { std::vector pins; int bodyStyle = 0; for( size_t ii = 0; ii < refList.GetCount(); ++ii ) { if( refList.GetItem( ii ).GetUnit() == missing_unit ) { bodyStyle = refList.GetItem( ii ).GetSymbol()->GetBodyStyle(); break; } } libSymbol->GetPins( pins, missing_unit, bodyStyle ); for( LIB_PIN* pin : pins ) { switch( pin->GetType() ) { case ELECTRICAL_PINTYPE::PT_POWER_IN: missing_power.insert( missing_unit ); break; case ELECTRICAL_PINTYPE::PT_BIDI: missing_bidi.insert( missing_unit ); break; case ELECTRICAL_PINTYPE::PT_INPUT: missing_input.insert( missing_unit ); break; default: break; } } } if( !missing_power.empty() && settings.IsTestEnabled( ERCE_MISSING_POWER_INPUT_PIN ) ) { report_missing( missing_power, _( "Symbol %s has input power pins in units %s that are not placed." ), ERCE_MISSING_POWER_INPUT_PIN ); } if( !missing_input.empty() && settings.IsTestEnabled( ERCE_MISSING_INPUT_PIN ) ) { report_missing( missing_input, _( "Symbol %s has input pins in units %s that are not placed." ), ERCE_MISSING_INPUT_PIN ); } if( !missing_bidi.empty() && settings.IsTestEnabled( ERCE_MISSING_BIDI_PIN ) ) { report_missing( missing_bidi, _( "Symbol %s has bidirectional pins in units %s that are not " "placed." ), ERCE_MISSING_BIDI_PIN ); } } return errors; } int ERC_TESTER::TestMissingNetclasses() { int err_count = 0; std::shared_ptr& settings = m_schematic->Prj().GetProjectFile().NetSettings(); wxString defaultNetclass = settings->m_DefaultNetClass->GetName(); auto logError = [&]( const SCH_SHEET_PATH& sheet, SCH_ITEM* item, const wxString& netclass ) { err_count++; std::shared_ptr ercItem = ERC_ITEM::Create( ERCE_UNDEFINED_NETCLASS ); ercItem->SetItems( item ); ercItem->SetErrorMessage( wxString::Format( _( "Netclass %s is not defined" ), netclass ) ); SCH_MARKER* marker = new SCH_MARKER( ercItem, item->GetPosition() ); sheet.LastScreen()->Append( marker ); }; for( const SCH_SHEET_PATH& sheet : m_schematic->GetSheets() ) { for( SCH_ITEM* item : sheet.LastScreen()->Items() ) { item->RunOnChildren( [&]( SCH_ITEM* aChild ) { if( aChild->Type() == SCH_FIELD_T ) { SCH_FIELD* field = static_cast( aChild ); if( field->GetCanonicalName() == wxT( "Netclass" ) ) { wxString netclass = field->GetText(); if( !netclass.IsSameAs( defaultNetclass ) && settings->m_NetClasses.count( netclass ) == 0 ) { logError( sheet, item, netclass ); } } } return true; } ); } } return err_count; } int ERC_TESTER::TestNoConnectPins() { int err_count = 0; for( const SCH_SHEET_PATH& sheet : m_schematic->GetSheets() ) { std::map> pinMap; auto addOther = [&]( const VECTOR2I& pt, SCH_ITEM* aOther ) { if( pinMap.count( pt ) ) pinMap[pt].emplace_back( aOther ); }; for( SCH_ITEM* item : sheet.LastScreen()->Items().OfType( SCH_SYMBOL_T ) ) { SCH_SYMBOL* symbol = static_cast( item ); for( SCH_PIN* pin : symbol->GetPins( &sheet ) ) { if( pin->GetLibPin()->GetType() == ELECTRICAL_PINTYPE::PT_NC ) pinMap[pin->GetPosition()].emplace_back( pin ); } } for( SCH_ITEM* item : sheet.LastScreen()->Items() ) { if( item->Type() == SCH_SYMBOL_T ) { SCH_SYMBOL* symbol = static_cast( item ); for( SCH_PIN* pin : symbol->GetPins( &sheet ) ) { if( pin->GetLibPin()->GetType() != ELECTRICAL_PINTYPE::PT_NC ) addOther( pin->GetPosition(), pin ); } } else if( item->IsConnectable() ) { for( const VECTOR2I& pt : item->GetConnectionPoints() ) addOther( pt, item ); } } for( const std::pair>& pair : pinMap ) { if( pair.second.size() > 1 ) { err_count++; std::shared_ptr ercItem = ERC_ITEM::Create( ERCE_NOCONNECT_CONNECTED ); ercItem->SetItems( pair.second[0], pair.second[1], pair.second.size() > 2 ? pair.second[2] : nullptr, pair.second.size() > 3 ? pair.second[3] : nullptr ); ercItem->SetErrorMessage( _( "Pin with 'no connection' type is connected" ) ); ercItem->SetSheetSpecificPath( sheet ); SCH_MARKER* marker = new SCH_MARKER( ercItem, pair.first ); sheet.LastScreen()->Append( marker ); } } } return err_count; } int ERC_TESTER::TestPinToPin() { ERC_SETTINGS& settings = m_schematic->ErcSettings(); const NET_MAP& nets = m_schematic->ConnectionGraph()->GetNetMap(); int errors = 0; for( const std::pair> net : nets ) { std::vector pins; std::unordered_map pinToScreenMap; bool has_noconnect = false; for( CONNECTION_SUBGRAPH* subgraph: net.second ) { if( subgraph->GetNoConnect() ) has_noconnect = true; for( SCH_ITEM* item : subgraph->GetItems() ) { if( item->Type() == SCH_PIN_T ) { pins.emplace_back( static_cast( item ), subgraph->GetSheet() ); pinToScreenMap[item] = subgraph->GetSheet().LastScreen(); } } } ERC_SCH_PIN_CONTEXT needsDriver; bool hasDriver = false; // We need different drivers for power nets and normal nets. // A power net has at least one pin having the ELECTRICAL_PINTYPE::PT_POWER_IN // and power nets can be driven only by ELECTRICAL_PINTYPE::PT_POWER_OUT pins bool ispowerNet = false; for( ERC_SCH_PIN_CONTEXT& refPin : pins ) { if( refPin.Pin()->GetType() == ELECTRICAL_PINTYPE::PT_POWER_IN ) { ispowerNet = true; break; } } for( auto refIt = pins.begin(); refIt != pins.end(); ++refIt ) { ERC_SCH_PIN_CONTEXT& refPin = *refIt; ELECTRICAL_PINTYPE refType = refPin.Pin()->GetType(); if( DrivenPinTypes.count( refType ) ) { // needsDriver will be the pin shown in the error report eventually, so try to // upgrade to a "better" pin if possible: something visible and only a power symbol // if this net needs a power driver if( !needsDriver.Pin() || ( !needsDriver.Pin()->IsVisible() && refPin.Pin()->IsVisible() ) || ( ispowerNet != ( needsDriver.Pin()->GetType() == ELECTRICAL_PINTYPE::PT_POWER_IN ) && ispowerNet == ( refType == ELECTRICAL_PINTYPE::PT_POWER_IN ) ) ) { needsDriver = refPin; } } if( ispowerNet ) hasDriver |= ( DrivingPowerPinTypes.count( refType ) != 0 ); else hasDriver |= ( DrivingPinTypes.count( refType ) != 0 ); for( auto testIt = refIt + 1; testIt != pins.end(); ++testIt ) { ERC_SCH_PIN_CONTEXT& testPin = *testIt; // Multiple pins in the same symbol that share a type, // name and position are considered // "stacked" and shouldn't trigger ERC errors if( refPin.Pin()->IsStacked( testPin.Pin() ) && refPin.Sheet() == testPin.Sheet() ) continue; ELECTRICAL_PINTYPE testType = testPin.Pin()->GetType(); if( ispowerNet ) hasDriver |= ( DrivingPowerPinTypes.count( testType ) != 0 ); else hasDriver |= ( DrivingPinTypes.count( testType ) != 0 ); PIN_ERROR erc = settings.GetPinMapValue( refType, testType ); if( erc != PIN_ERROR::OK && settings.IsTestEnabled( ERCE_PIN_TO_PIN_WARNING ) ) { std::shared_ptr ercItem = ERC_ITEM::Create( erc == PIN_ERROR::WARNING ? ERCE_PIN_TO_PIN_WARNING : ERCE_PIN_TO_PIN_ERROR ); ercItem->SetItems( refPin.Pin(), testPin.Pin() ); ercItem->SetSheetSpecificPath( refPin.Sheet() ); ercItem->SetItemsSheetPaths( refPin.Sheet(), testPin.Sheet() ); ercItem->SetErrorMessage( wxString::Format( _( "Pins of type %s and %s are connected" ), ElectricalPinTypeGetText( refType ), ElectricalPinTypeGetText( testType ) ) ); SCH_MARKER* marker = new SCH_MARKER( ercItem, refPin.Pin()->GetTransformedPosition() ); pinToScreenMap[refPin.Pin()]->Append( marker ); errors++; } } } if( needsDriver.Pin() && !hasDriver && !has_noconnect ) { int err_code = ispowerNet ? ERCE_POWERPIN_NOT_DRIVEN : ERCE_PIN_NOT_DRIVEN; if( settings.IsTestEnabled( err_code ) ) { std::shared_ptr ercItem = ERC_ITEM::Create( err_code ); ercItem->SetItems( needsDriver.Pin() ); ercItem->SetSheetSpecificPath( needsDriver.Sheet() ); ercItem->SetItemsSheetPaths( needsDriver.Sheet() ); SCH_MARKER* marker = new SCH_MARKER( ercItem, needsDriver.Pin()->GetTransformedPosition() ); pinToScreenMap[needsDriver.Pin()]->Append( marker ); errors++; } } } return errors; } int ERC_TESTER::TestMultUnitPinConflicts() { const NET_MAP& nets = m_schematic->ConnectionGraph()->GetNetMap(); int errors = 0; std::unordered_map> pinToNetMap; for( const std::pair> net : nets ) { const wxString& netName = net.first.Name; for( CONNECTION_SUBGRAPH* subgraph : net.second ) { for( SCH_ITEM* item : subgraph->GetItems() ) { if( item->Type() == SCH_PIN_T ) { SCH_PIN* pin = static_cast( item ); const SCH_SHEET_PATH& sheet = subgraph->GetSheet(); if( !pin->GetLibPin()->GetParentSymbol()->IsMulti() ) continue; wxString name = pin->GetParentSymbol()->GetRef( &sheet ) + + ":" + pin->GetShownNumber(); if( !pinToNetMap.count( name ) ) { pinToNetMap[name] = std::make_pair( netName, pin ); } else if( pinToNetMap[name].first != netName ) { std::shared_ptr ercItem = ERC_ITEM::Create( ERCE_DIFFERENT_UNIT_NET ); ercItem->SetErrorMessage( wxString::Format( _( "Pin %s is connected to both %s and %s" ), pin->GetShownNumber(), netName, pinToNetMap[name].first ) ); ercItem->SetItems( pin, pinToNetMap[name].second ); ercItem->SetSheetSpecificPath( sheet ); ercItem->SetItemsSheetPaths( sheet, sheet ); SCH_MARKER* marker = new SCH_MARKER( ercItem, pin->GetTransformedPosition() ); sheet.LastScreen()->Append( marker ); errors += 1; } } } } } return errors; } int ERC_TESTER::TestSimilarLabels() { const NET_MAP& nets = m_schematic->ConnectionGraph()->GetNetMap(); int errors = 0; std::unordered_map> labelMap; for( const std::pair> net : nets ) { for( CONNECTION_SUBGRAPH* subgraph : net.second ) { const SCH_SHEET_PATH& sheet = subgraph->GetSheet(); for( SCH_ITEM* item : subgraph->GetItems() ) { switch( item->Type() ) { case SCH_LABEL_T: case SCH_HIER_LABEL_T: case SCH_GLOBAL_LABEL_T: { SCH_LABEL_BASE* label = static_cast( item ); wxString normalized = label->GetShownText( &sheet, false ).Lower(); if( !labelMap.count( normalized ) ) { labelMap[normalized] = std::make_pair( label, sheet ); break; } auto& [ otherLabel, otherSheet ] = labelMap.at( normalized ); if( otherLabel->GetShownText( &otherSheet, false ) != label->GetShownText( &sheet, false ) ) { std::shared_ptr ercItem = ERC_ITEM::Create( ERCE_SIMILAR_LABELS ); ercItem->SetItems( label, labelMap.at( normalized ).first ); ercItem->SetSheetSpecificPath( sheet ); ercItem->SetItemsSheetPaths( sheet, labelMap.at( normalized ).second ); SCH_MARKER* marker = new SCH_MARKER( ercItem, label->GetPosition() ); sheet.LastScreen()->Append( marker ); errors += 1; } break; } default: break; } } } } return errors; } int ERC_TESTER::TestLibSymbolIssues() { wxCHECK( m_schematic, 0 ); ERC_SETTINGS& settings = m_schematic->ErcSettings(); SYMBOL_LIB_TABLE* libTable = PROJECT_SCH::SchSymbolLibTable( &m_schematic->Prj() ); wxString msg; int err_count = 0; SCH_SCREENS screens( m_schematic->Root() ); for( SCH_SCREEN* screen = screens.GetFirst(); screen != nullptr; screen = screens.GetNext() ) { std::vector markers; for( SCH_ITEM* item : screen->Items().OfType( SCH_SYMBOL_T ) ) { SCH_SYMBOL* symbol = static_cast( item ); LIB_SYMBOL* libSymbolInSchematic = symbol->GetLibSymbolRef().get(); wxCHECK2( libSymbolInSchematic, continue ); wxString libName = symbol->GetLibId().GetLibNickname(); LIB_TABLE_ROW* libTableRow = libTable->FindRow( libName, true ); if( !libTableRow ) { if( settings.IsTestEnabled( ERCE_LIB_SYMBOL_ISSUES ) ) { std::shared_ptr ercItem = ERC_ITEM::Create( ERCE_LIB_SYMBOL_ISSUES ); ercItem->SetItems( symbol ); msg.Printf( _( "The current configuration does not include the symbol library '%s'" ), UnescapeString( libName ) ); ercItem->SetErrorMessage( msg ); markers.emplace_back( new SCH_MARKER( ercItem, symbol->GetPosition() ) ); } continue; } else if( !libTable->HasLibrary( libName, true ) ) { if( settings.IsTestEnabled( ERCE_LIB_SYMBOL_ISSUES ) ) { std::shared_ptr ercItem = ERC_ITEM::Create( ERCE_LIB_SYMBOL_ISSUES ); ercItem->SetItems( symbol ); msg.Printf( _( "The library '%s' is not enabled in the current configuration" ), UnescapeString( libName ) ); ercItem->SetErrorMessage( msg ); markers.emplace_back( new SCH_MARKER( ercItem, symbol->GetPosition() ) ); } continue; } wxString symbolName = symbol->GetLibId().GetLibItemName(); LIB_SYMBOL* libSymbol = SchGetLibSymbol( symbol->GetLibId(), libTable ); if( libSymbol == nullptr ) { if( settings.IsTestEnabled( ERCE_LIB_SYMBOL_ISSUES ) ) { std::shared_ptr ercItem = ERC_ITEM::Create( ERCE_LIB_SYMBOL_ISSUES ); ercItem->SetItems( symbol ); msg.Printf( _( "Symbol '%s' not found in symbol library '%s'" ), UnescapeString( symbolName ), UnescapeString( libName ) ); ercItem->SetErrorMessage( msg ); markers.emplace_back( new SCH_MARKER( ercItem, symbol->GetPosition() ) ); } continue; } std::unique_ptr flattenedSymbol = libSymbol->Flatten(); constexpr int flags = SCH_ITEM::COMPARE_FLAGS::EQUALITY | SCH_ITEM::COMPARE_FLAGS::ERC; if( settings.IsTestEnabled( ERCE_LIB_SYMBOL_MISMATCH ) && flattenedSymbol->Compare( *libSymbolInSchematic, flags ) != 0 ) { std::shared_ptr ercItem = ERC_ITEM::Create( ERCE_LIB_SYMBOL_MISMATCH ); ercItem->SetItems( symbol ); msg.Printf( _( "Symbol '%s' doesn't match copy in library '%s'" ), UnescapeString( symbolName ), UnescapeString( libName ) ); ercItem->SetErrorMessage( msg ); markers.emplace_back( new SCH_MARKER( ercItem, symbol->GetPosition() ) ); } } for( SCH_MARKER* marker : markers ) { screen->Append( marker ); err_count += 1; } } return err_count; } int ERC_TESTER::TestFootprintLinkIssues( KIFACE* aCvPcb, PROJECT* aProject ) { wxCHECK( m_schematic, 0 ); wxString msg; int err_count = 0; typedef int (*TESTER_FN_PTR)( const wxString&, PROJECT* ); TESTER_FN_PTR linkTester = (TESTER_FN_PTR) aCvPcb->IfaceOrAddress( KIFACE_TEST_FOOTPRINT_LINK ); for( SCH_SHEET_PATH& sheet : m_schematic->GetSheets() ) { std::vector markers; for( SCH_ITEM* item : sheet.LastScreen()->Items().OfType( SCH_SYMBOL_T ) ) { SCH_SYMBOL* symbol = static_cast( item ); wxString footprint = symbol->GetFootprintFieldText( true, &sheet, false ); if( footprint.IsEmpty() ) continue; LIB_ID fpID; if( fpID.Parse( footprint, true ) >= 0 ) { std::shared_ptr ercItem = ERC_ITEM::Create( ERCE_FOOTPRINT_LINK_ISSUES ); msg.Printf( _( "'%s' is not a valid footprint identifier." ), footprint ); ercItem->SetErrorMessage( msg ); ercItem->SetItems( symbol ); markers.emplace_back( new SCH_MARKER( ercItem, symbol->GetPosition() ) ); continue; } wxString libName = fpID.GetLibNickname(); wxString fpName = fpID.GetLibItemName(); int ret = (linkTester)( footprint, aProject ); if( ret == KIFACE_TEST_FOOTPRINT_LINK_NO_LIBRARY ) { std::shared_ptr ercItem = ERC_ITEM::Create( ERCE_FOOTPRINT_LINK_ISSUES ); msg.Printf( _( "The current configuration does not include the footprint library '%s'." ), libName ); ercItem->SetErrorMessage( msg ); ercItem->SetItems( symbol ); markers.emplace_back( new SCH_MARKER( ercItem, symbol->GetPosition() ) ); } else if( ret == KIFACE_TEST_FOOTPRINT_LINK_LIBRARY_NOT_ENABLED ) { std::shared_ptr ercItem = ERC_ITEM::Create( ERCE_FOOTPRINT_LINK_ISSUES ); msg.Printf( _( "The footprint library '%s' is not enabled in the current configuration." ), libName ); ercItem->SetErrorMessage( msg ); ercItem->SetItems( symbol ); markers.emplace_back( new SCH_MARKER( ercItem, symbol->GetPosition() ) ); } else if( ret == KIFACE_TEST_FOOTPRINT_LINK_NO_FOOTPRINT ) { std::shared_ptr ercItem = ERC_ITEM::Create( ERCE_FOOTPRINT_LINK_ISSUES ); msg.Printf( _( "Footprint '%s' not found in library '%s'." ), fpName, libName ); ercItem->SetErrorMessage( msg ); ercItem->SetItems( symbol ); markers.emplace_back( new SCH_MARKER( ercItem, symbol->GetPosition() ) ); } } for( SCH_MARKER* marker : markers ) { sheet.LastScreen()->Append( marker ); err_count += 1; } } return err_count; } int ERC_TESTER::TestOffGridEndpoints() { const int gridSize = m_schematic->Settings().m_ConnectionGridSize; SCH_SCREENS screens( m_schematic->Root() ); int err_count = 0; for( SCH_SCREEN* screen = screens.GetFirst(); screen != nullptr; screen = screens.GetNext() ) { std::vector markers; for( SCH_ITEM* item : screen->Items() ) { if( item->Type() == SCH_LINE_T && item->IsConnectable() ) { SCH_LINE* line = static_cast( item ); if( ( line->GetStartPoint().x % gridSize ) != 0 || ( line->GetStartPoint().y % gridSize ) != 0 ) { std::shared_ptr ercItem = ERC_ITEM::Create( ERCE_ENDPOINT_OFF_GRID ); ercItem->SetItems( line ); markers.emplace_back( new SCH_MARKER( ercItem, line->GetStartPoint() ) ); } else if( ( line->GetEndPoint().x % gridSize ) != 0 || ( line->GetEndPoint().y % gridSize ) != 0 ) { std::shared_ptr ercItem = ERC_ITEM::Create( ERCE_ENDPOINT_OFF_GRID ); ercItem->SetItems( line ); markers.emplace_back( new SCH_MARKER( ercItem, line->GetEndPoint() ) ); } } else if( item->Type() == SCH_SYMBOL_T ) { SCH_SYMBOL* symbol = static_cast( item ); for( SCH_PIN* pin : symbol->GetPins( nullptr ) ) { VECTOR2I pinPos = pin->GetTransformedPosition(); if( ( pinPos.x % gridSize ) != 0 || ( pinPos.y % gridSize ) != 0 ) { auto ercItem = ERC_ITEM::Create( ERCE_ENDPOINT_OFF_GRID ); ercItem->SetItems( pin ); markers.emplace_back( new SCH_MARKER( ercItem, pinPos ) ); break; } } } } for( SCH_MARKER* marker : markers ) { screen->Append( marker ); err_count += 1; } } return err_count; } int ERC_TESTER::TestSimModelIssues() { wxString msg; WX_STRING_REPORTER reporter( &msg ); SCH_SHEET_LIST sheets = m_schematic->GetSheets(); int err_count = 0; SIM_LIB_MGR libMgr( &m_schematic->Prj() ); for( SCH_SHEET_PATH& sheet : sheets ) { std::vector markers; for( SCH_ITEM* item : sheet.LastScreen()->Items().OfType( SCH_SYMBOL_T ) ) { SCH_SYMBOL* symbol = static_cast( item ); // Power symbols and other symbols which have the reference starting with "#" are // not included in simulation if( symbol->GetRef( &sheet ).StartsWith( '#' ) || symbol->GetExcludedFromSim() ) continue; // Reset for each symbol msg.Clear(); SIM_LIBRARY::MODEL model = libMgr.CreateModel( &sheet, *symbol, reporter ); if( !msg.IsEmpty() ) { std::shared_ptr ercItem = ERC_ITEM::Create( ERCE_SIMULATION_MODEL ); //Remove \n and \r at e.o.l if any: msg.Trim(); ercItem->SetErrorMessage( msg ); ercItem->SetItems( symbol ); markers.emplace_back( new SCH_MARKER( ercItem, symbol->GetPosition() ) ); } } for( SCH_MARKER* marker : markers ) { sheet.LastScreen()->Append( marker ); err_count += 1; } } return err_count; } void ERC_TESTER::RunTests( DS_PROXY_VIEW_ITEM* aDrawingSheet, SCH_EDIT_FRAME* aEditFrame, KIFACE* aCvPcb, PROJECT* aProject, PROGRESS_REPORTER* aProgressReporter ) { ERC_SETTINGS& settings = m_schematic->ErcSettings(); // Test duplicate sheet names inside a given sheet. While one can have multiple references // to the same file, each must have a unique name. if( settings.IsTestEnabled( ERCE_DUPLICATE_SHEET_NAME ) ) { if( aProgressReporter ) aProgressReporter->AdvancePhase( _( "Checking sheet names..." ) ); TestDuplicateSheetNames( true ); } if( settings.IsTestEnabled( ERCE_BUS_ALIAS_CONFLICT ) ) { if( aProgressReporter ) aProgressReporter->AdvancePhase( _( "Checking bus conflicts..." ) ); TestConflictingBusAliases(); } // The connection graph has a whole set of ERC checks it can run if( aProgressReporter ) aProgressReporter->AdvancePhase( _( "Checking conflicts..." ) ); // If we are using the new connectivity, make sure that we do a full-rebuild if( aEditFrame ) { if( ADVANCED_CFG::GetCfg().m_IncrementalConnectivity ) aEditFrame->RecalculateConnections( nullptr, GLOBAL_CLEANUP ); else aEditFrame->RecalculateConnections( nullptr, NO_CLEANUP ); } m_schematic->ConnectionGraph()->RunERC(); if( aProgressReporter ) aProgressReporter->AdvancePhase( _( "Checking units..." ) ); // Test is all units of each multiunit symbol have the same footprint assigned. if( settings.IsTestEnabled( ERCE_DIFFERENT_UNIT_FP ) ) { if( aProgressReporter ) aProgressReporter->AdvancePhase( _( "Checking footprints..." ) ); TestMultiunitFootprints(); } if( settings.IsTestEnabled( ERCE_MISSING_UNIT ) || settings.IsTestEnabled( ERCE_MISSING_INPUT_PIN ) || settings.IsTestEnabled( ERCE_MISSING_POWER_INPUT_PIN ) || settings.IsTestEnabled( ERCE_MISSING_BIDI_PIN ) ) { TestMissingUnits(); } if( aProgressReporter ) aProgressReporter->AdvancePhase( _( "Checking pins..." ) ); if( settings.IsTestEnabled( ERCE_DIFFERENT_UNIT_NET ) ) TestMultUnitPinConflicts(); // Test pins on each net against the pin connection table if( settings.IsTestEnabled( ERCE_PIN_TO_PIN_ERROR ) || settings.IsTestEnabled( ERCE_POWERPIN_NOT_DRIVEN ) || settings.IsTestEnabled( ERCE_PIN_NOT_DRIVEN ) ) { TestPinToPin(); } // Test similar labels (i;e. labels which are identical when // using case insensitive comparisons) if( settings.IsTestEnabled( ERCE_SIMILAR_LABELS ) ) { if( aProgressReporter ) aProgressReporter->AdvancePhase( _( "Checking labels..." ) ); TestSimilarLabels(); } if( settings.IsTestEnabled( ERCE_UNRESOLVED_VARIABLE ) ) { if( aProgressReporter ) aProgressReporter->AdvancePhase( _( "Checking for unresolved variables..." ) ); TestTextVars( aDrawingSheet ); } if( settings.IsTestEnabled( ERCE_SIMULATION_MODEL ) ) { if( aProgressReporter ) aProgressReporter->AdvancePhase( _( "Checking SPICE models..." ) ); TestSimModelIssues(); } if( settings.IsTestEnabled( ERCE_NOCONNECT_CONNECTED ) ) { if( aProgressReporter ) aProgressReporter->AdvancePhase( _( "Checking no connect pins for connections..." ) ); TestNoConnectPins(); } if( settings.IsTestEnabled( ERCE_LIB_SYMBOL_ISSUES ) || settings.IsTestEnabled( ERCE_LIB_SYMBOL_MISMATCH ) ) { if( aProgressReporter ) aProgressReporter->AdvancePhase( _( "Checking for library symbol issues..." ) ); TestLibSymbolIssues(); } if( settings.IsTestEnabled( ERCE_FOOTPRINT_LINK_ISSUES ) && aCvPcb ) { if( aProgressReporter ) aProgressReporter->AdvancePhase( _( "Checking for footprint link issues..." ) ); TestFootprintLinkIssues( aCvPcb, aProject ); } if( settings.IsTestEnabled( ERCE_ENDPOINT_OFF_GRID ) ) { if( aProgressReporter ) aProgressReporter->AdvancePhase( _( "Checking for off grid pins and wires..." ) ); TestOffGridEndpoints(); } if( settings.IsTestEnabled( ERCE_UNDEFINED_NETCLASS ) ) { if( aProgressReporter ) aProgressReporter->AdvancePhase( _( "Checking for undefined netclasses..." ) ); TestMissingNetclasses(); } m_schematic->ResolveERCExclusionsPostUpdate(); }