You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
186 lines
7.9 KiB
186 lines
7.9 KiB
<?xml version="1.0"?>
|
|
<psalm
|
|
totallyTyped="false"
|
|
resolveFromConfigFile="true"
|
|
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
|
|
xmlns="https://getpsalm.org/schema/config"
|
|
xsi:schemaLocation="https://getpsalm.org/schema/config vendor/vimeo/psalm/config.xsd"
|
|
>
|
|
<projectFiles>
|
|
<directory name="src"/>
|
|
<!-- <directory name="public/main/admin" />-->
|
|
<directory name="public/main/announcements"/>
|
|
<directory name="public/main/attendance"/>
|
|
<!-- <directory name="public/main/badge"/>-->
|
|
<directory name="public/main/blog"/>
|
|
<!-- <directory name="public/main/calendar"/>-->
|
|
<directory name="public/main/group"/>
|
|
<directory name="public/main/link" />
|
|
<!-- <directory name="public/main/session" /> -->
|
|
<!-- <directory name="public/main/exercise"/> -->
|
|
|
|
<file name="public/main/inc/lib/add_course.lib.inc.php"/>
|
|
<!-- <file name="public/main/inc/lib/agenda.lib.php"/>-->
|
|
<file name="public/main/inc/lib/attendance.lib.php"/>
|
|
<file name="public/main/inc/lib/career.lib.php"/>
|
|
<file name="public/main/inc/lib/course.lib.php"/>
|
|
<file name="public/main/inc/lib/course_category.lib.php"/>
|
|
<!-- <file name="public/main/inc/lib/course_description.lib.php"/>-->
|
|
<!-- <file name="public/main/inc/lib/course_home.lib.php"/>-->
|
|
<file name="public/main/inc/lib/course_request.lib.php"/>
|
|
<file name="public/main/inc/lib/sessionmanager.lib.php"/>
|
|
<!-- <file name="public/main/inc/lib/skill.lib.php"/>-->
|
|
<file name="public/main/inc/lib/skill.visualizer.lib.php"/>
|
|
<file name="public/main/inc/lib/social.lib.php"/>
|
|
<file name="public/main/inc/lib/sortable_table.class.php"/>
|
|
<file name="public/main/inc/lib/SortableTableFromArray.php"/>
|
|
<file name="public/main/inc/lib/SortableTableFromArrayConfig.php"/>
|
|
|
|
<file name="public/main/inc/lib/thematic.lib.php"/>
|
|
<file name="public/main/inc/lib/urlmanager.lib.php"/>
|
|
<file name="public/main/inc/lib/usergroup.lib.php"/>
|
|
|
|
<!-- <file name="public/main/inc/lib/usergroup.lib.php"/>-->
|
|
|
|
|
|
<ignoreFiles>
|
|
<directory name="vendor/*"/>
|
|
<directory name="src/CoreBundle/Menu"/>
|
|
<directory name="src/CoreBundle/Component/Editor"/>
|
|
<directory name="src/CourseBundle/Component/CourseCopy"/>
|
|
<directory name="src/GraphQlBundle"/>
|
|
<directory name="src/LtiBundle"/>
|
|
|
|
<file name="public/main/admin/db.php"/>
|
|
<file name="src/CoreBundle/Controller/EditorController.php"/>
|
|
<file name="src/CoreBundle/Controller/ResourceController.php"/>
|
|
</ignoreFiles>
|
|
</projectFiles>
|
|
|
|
<issueHandlers>
|
|
<InvalidClass errorLevel="info"/>
|
|
|
|
<LessSpecificReturnType errorLevel="info"/>
|
|
|
|
<LessSpecificReturnType errorLevel="info"/>
|
|
|
|
<!-- level 3 issues - slightly lazy code writing, but provably low false-negatives -->
|
|
|
|
<DeprecatedClass errorLevel="info"/>
|
|
<DeprecatedInterface errorLevel="info"/>
|
|
|
|
<MissingClosureReturnType errorLevel="info"/>
|
|
<MissingReturnType errorLevel="info"/>
|
|
<MissingPropertyType errorLevel="info"/>
|
|
<InvalidDocblock errorLevel="info"/>
|
|
<MisplacedRequiredParam errorLevel="info"/>
|
|
|
|
<PropertyNotSetInConstructor errorLevel="info"/>
|
|
<MissingConstructor errorLevel="info"/>
|
|
<MissingClosureParamType errorLevel="info"/>
|
|
<MissingParamType errorLevel="info"/>
|
|
|
|
<RedundantCondition errorLevel="info"/>
|
|
|
|
<DocblockTypeContradiction errorLevel="info"/>
|
|
<RedundantConditionGivenDocblockType errorLevel="info"/>
|
|
|
|
<UnresolvableInclude errorLevel="info"/>
|
|
|
|
<RawObjectIteration errorLevel="info"/>
|
|
|
|
<InvalidStringClass errorLevel="info"/>
|
|
|
|
<!-- level 4 issues - points to possible deficiencies in logic, higher false-positives -->
|
|
|
|
<MoreSpecificReturnType errorLevel="info"/>
|
|
<LessSpecificReturnStatement errorLevel="info"/>
|
|
<TypeCoercion errorLevel="info"/>
|
|
|
|
<PossiblyFalseArgument errorLevel="info"/>
|
|
<PossiblyFalseIterator errorLevel="info"/>
|
|
<PossiblyFalseOperand errorLevel="info"/>
|
|
<PossiblyFalsePropertyAssignmentValue errorLevel="info"/>
|
|
<PossiblyFalseReference errorLevel="info"/>
|
|
<PossiblyInvalidArgument errorLevel="info"/>
|
|
<PossiblyInvalidArrayAccess errorLevel="info"/>
|
|
<PossiblyInvalidArrayAssignment errorLevel="info"/>
|
|
<PossiblyInvalidArrayOffset errorLevel="info"/>
|
|
<PossiblyInvalidCast errorLevel="info"/>
|
|
<PossiblyInvalidFunctionCall errorLevel="info"/>
|
|
<PossiblyInvalidIterator errorLevel="info"/>
|
|
<PossiblyInvalidMethodCall errorLevel="info"/>
|
|
<PossiblyInvalidOperand errorLevel="info"/>
|
|
<PossiblyInvalidPropertyAssignment errorLevel="info"/>
|
|
<PossiblyInvalidPropertyAssignmentValue errorLevel="info"/>
|
|
<PossiblyInvalidPropertyFetch errorLevel="info"/>
|
|
<PossiblyNullArgument errorLevel="info"/>
|
|
<PossiblyNullArrayAccess errorLevel="info"/>
|
|
<PossiblyNullArrayAssignment errorLevel="info"/>
|
|
<PossiblyNullArrayOffset errorLevel="info"/>
|
|
<PossiblyNullFunctionCall errorLevel="info"/>
|
|
<PossiblyNullIterator errorLevel="info"/>
|
|
<PossiblyNullOperand errorLevel="info"/>
|
|
<PossiblyNullPropertyAssignment errorLevel="info"/>
|
|
<PossiblyNullPropertyAssignmentValue errorLevel="info"/>
|
|
<PossiblyNullPropertyFetch errorLevel="info"/>
|
|
<PossiblyNullReference errorLevel="info"/>
|
|
<PossiblyUndefinedGlobalVariable errorLevel="info"/>
|
|
<PossiblyUndefinedVariable errorLevel="info"/>
|
|
<PossiblyUndefinedArrayOffset errorLevel="info"/>
|
|
<PossiblyUndefinedMethod errorLevel="info"/>
|
|
<PossibleRawObjectIteration errorLevel="info"/>
|
|
|
|
<!-- level 5 issues - should be avoided at most costs... -->
|
|
|
|
<ForbiddenCode errorLevel="info"/>
|
|
<ImplicitToStringCast errorLevel="info"/>
|
|
<InvalidScalarArgument errorLevel="info"/>
|
|
<InvalidToString errorLevel="info"/>
|
|
<InvalidOperand errorLevel="info"/>
|
|
<NoInterfaceProperties errorLevel="info"/>
|
|
<TooManyArguments errorLevel="info"/>
|
|
<TypeDoesNotContainType errorLevel="info"/>
|
|
<TypeDoesNotContainNull errorLevel="info"/>
|
|
<MissingDocblockType errorLevel="info"/>
|
|
<ImplementedReturnTypeMismatch errorLevel="info"/>
|
|
<ImplementedParamTypeMismatch errorLevel="info"/>
|
|
|
|
<!-- level 6 issues - really bad things -->
|
|
|
|
<InvalidNullableReturnType errorLevel="info"/>
|
|
<NullableReturnStatement errorLevel="info"/>
|
|
<InvalidFalsableReturnType errorLevel="info"/>
|
|
<FalsableReturnStatement errorLevel="info"/>
|
|
|
|
<MoreSpecificImplementedParamType errorLevel="info"/>
|
|
<LessSpecificImplementedReturnType errorLevel="info"/>
|
|
|
|
<InvalidReturnStatement errorLevel="info"/>
|
|
<InvalidReturnType errorLevel="info"/>
|
|
<UndefinedThisPropertyAssignment errorLevel="info"/>
|
|
<UndefinedInterfaceMethod errorLevel="info"/>
|
|
|
|
<!-- level 7 issues - even worse -->
|
|
|
|
<UndefinedThisPropertyAssignment errorLevel="info"/>
|
|
<UndefinedPropertyAssignment errorLevel="info"/>
|
|
<UndefinedThisPropertyFetch errorLevel="info"/>
|
|
<UndefinedPropertyFetch errorLevel="info"/>
|
|
|
|
<InvalidReturnStatement errorLevel="info"/>
|
|
<InvalidReturnType errorLevel="info"/>
|
|
<InvalidArgument errorLevel="info"/>
|
|
<InvalidPropertyAssignmentValue errorLevel="info"/>
|
|
<InvalidArrayOffset errorLevel="info"/>
|
|
<InvalidArrayAssignment errorLevel="info"/>
|
|
<InvalidArrayAccess errorLevel="info"/>
|
|
<InvalidClone errorLevel="info"/>
|
|
|
|
|
|
</issueHandlers>
|
|
<plugins>
|
|
<pluginClass class="Weirdan\DoctrinePsalmPlugin\Plugin"/>
|
|
<pluginClass class="Psalm\SymfonyPsalmPlugin\Plugin"/>
|
|
</plugins>
|
|
</psalm>
|
|
|