-
Notifications
You must be signed in to change notification settings - Fork 145
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
bug(#3708): Required tojo methods for caching xmir-to-phi/phi-to-xmir goals #3778
base: master
Are you sure you want to change the base?
Conversation
@@ -62,7 +86,7 @@ final class Unplace { | |||
public String make(final Path file) { | |||
return file.toString().substring( | |||
this.parent.toString().length() + 1 | |||
).replaceAll(".eo$", "").replace(File.separator, "."); | |||
).replaceAll(this.extension, "").replace(File.separator, "."); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@ArtemGet this looks pretty dangerous. What if this.extension
will be equal to (
-- you will get runtime exception here. Try using Pattern.quote()
.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@yegor256 Agreed, add Pattern.quote and tests.
@ArtemGet please merge current |
@maxonfjvipon Is OPTIMIZED attribute not present now? I am using it in xmir-to-phi cache. |
@maxonfjvipon Changed OPTIMIZED to XMIR. Could you check please? |
Ref: #3708