Bug #11671: NmlToSmtTranslator.java: javadoc warnings - MicroTESK - Open-Source Projects

Actions

Copy link

Bug #11671

closed

NmlToSmtTranslator.java: javadoc warnings

Added by Alexander Protsenko over 2 years ago. Updated over 1 year ago.

Status:

Closed

Priority:

Normal

Assignee:

Artem Kotsynyak

Category:

Documentation

Target version:

2.5

Start date:

06/20/2022

Due date:

% Done:

Estimated time:

Detected in build:

git

Platform:

Published in build:

Description

D:\WorkProjects\MicroTESK\microtesk\src\main\java\core\ru\ispras\microtesk\translator\mir\NmlToSmtTranslator.java:68: warning: no @param for ir
public void run(Ir ir, Map<String, MirContext> compiled, Map<String, MirContext> funcs) {
^
D:\WorkProjects\MicroTESK\microtesk\src\main\java\core\ru\ispras\microtesk\translator\mir\NmlToSmtTranslator.java:68: warning: no @param for compiled
public void run(Ir ir, Map<String, MirContext> compiled, Map<String, MirContext> funcs) {
^
D:\WorkProjects\MicroTESK\microtesk\src\main\java\core\ru\ispras\microtesk\translator\mir\NmlToSmtTranslator.java:68: warning: no @param for funcs
public void run(Ir ir, Map<String, MirContext> compiled, Map<String, MirContext> funcs) {