You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
Package analysis defines the interface between a modular static analysis and an analysis driver program. Background ¶A static analysis is a function that inspects a package of Go code and reports a set of diagnostics (typically mistakes in the code), and perhaps produces other results as well, such as suggested refactorings or other facts. An analysis that reports mistakes is informally called a "
この記事は「BASE Advent Calendar 2018」24日目の記事です。 devblog.thebase.in はじめに BASEでエンジニアとしてインターンをしている池田です。今日はクリスマスイブということで、以前から気になっていたグリューワイン（ドイツのクリスマスに欠かせないホットワイン）をクリスマスマーケットに飲みに来ています。 普段はBASE BANKというBASEの100%子会社にて金融事業の立ち上げを行っています。BASE BANKのプロダクトのAPIはGoを使って書かれているのですが、BASEでのGoの使用はこのプロジェクトが初だったので、開発基盤整備の一貫で様々なlinterの導入を行いました。その際にlinterの内部がどうなっているかに興味を持ち、すごく簡単なlinterの仕組みを実際に作ってみたので、今回はその知見をお話しします。 Goと静的解析 Goには
This document describes the 3.17.x version of the language server protocol. An implementation for node of the 3.17.x version of the protocol can be found here. Note: edits to this specification can be made via a pull request against this markdown document. What’s new in 3.17 All new 3.17 features are tagged with a corresponding since version 3.17 text or in JSDoc using @since 3.17.0 annotation. Ma
SpotBugsプラグインの実装方法には公式ドキュメントがありますが、SpotBugsプラグインをSonarQube上で実行するための手法はまだ固まっていません。最近Guava Migration HelperのSonarQubeプラグインのリリースに動いているので、要点をまとめておきます。 SonarQubeプラグイン実装の基本 まずSonarQubeの公式ドキュメントに目を通しておきます。特にMarketplaceでの公開を前提としている場合は、Plugin Keyの命名に制約があったり、SonarCloudの利用が必須だったりしますので、制約についてよく読んでおくと良いでしょう。 Mavenプロジェクトを作る Gradleサポートは公式ではないので、Mavenを選択します。SpotBugsプラグインと同じプロジェクトで管理すると、メタデータ作成（後述）で手間がかからないのでおすすめで
束（そく）とは，半順序集合$(L,\le)$ であって，$L$のどの2元$x,\ y$に対しても$L$の部分集合$\{x,\ y\}$の順序$\le$に関する下限$\inf\{x,\ y\}$と上限$\sup\{x,\ y\}$が存在するもののことである． 集合$L$に，二つの二項演算$\wedge,\vee$が定義され，それが次の法則に従うとき，三つ組み$(L,\wedge,\vee)$は（または単に$L$は）束であると言い，$\wedge$と$\vee$をそれぞれ，交わり（meet）と結び（join）とよぶ． ただし，巾等律は他の三法則から導かれるので除いてもよい． 巾等律：$x\wedge x=x\vee x=x$ 交換律：$x\wedge y=y\wedge x,\quad x\vee y=y\vee x$ 結合律：$(x\wedge y)\wedge z=x\wedge(y\we
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
