arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-08 18:30:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

displayError + setInferenceView

Browse Source
This commit is contained in:
Moritz Dieing 2021-01-27 23:03:05 +01:00
parent 1cef080606
commit 1efedb45c5
2 changed files with 29 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/TypeInferenceView.java
View File

@ -4,13 +4,16 @@ import com.vaadin.flow.component.button.Button;
import com.vaadin.flow.component.notification.Notification;
import com.vaadin.flow.component.orderedlayout.HorizontalLayout;
import com.vaadin.flow.component.textfield.TextField;
import com.vaadin.flow.router.BeforeEvent;
import com.vaadin.flow.router.HasUrlParameter;
import com.vaadin.flow.router.PageTitle;
import com.vaadin.flow.router.Route;
import edu.kit.typicalc.model.TypeInfererInterface;
import edu.kit.typicalc.view.main.MainViewImpl;
@Route(value = "visualize", layout = MainViewImpl.class)
@PageTitle("TypeInferenceView")
public class TypeInferenceView extends HorizontalLayout {
public class TypeInferenceView extends HorizontalLayout implements HasUrlParameter<TypeInfererInterface> {
private TextField name;
private Button sayHello;
@ -26,4 +29,9 @@ public class TypeInferenceView extends HorizontalLayout {
});
}
@Override
public void setParameter(BeforeEvent event, TypeInfererInterface parameter) {
// TODO Auto-generated method stub
}
}

25
src/main/java/edu/kit/typicalc/view/main/MainViewImpl.java
View File

@ -2,19 +2,27 @@ package edu.kit.typicalc.view.main;
import com.vaadin.flow.component.Component;
import com.vaadin.flow.component.ComponentUtil;
import com.vaadin.flow.component.UI;
import com.vaadin.flow.component.applayout.AppLayout;
import com.vaadin.flow.component.applayout.DrawerToggle;
import com.vaadin.flow.component.avatar.Avatar;
import com.vaadin.flow.component.button.Button;
import com.vaadin.flow.component.dependency.CssImport;
import com.vaadin.flow.component.dependency.JsModule;
import com.vaadin.flow.component.html.H1;
import com.vaadin.flow.component.html.Image;
import com.vaadin.flow.component.html.Span;
import com.vaadin.flow.component.notification.Notification;
import com.vaadin.flow.component.notification.Notification.Position;
import com.vaadin.flow.component.notification.NotificationVariant;
import com.vaadin.flow.component.orderedlayout.FlexComponent;
import com.vaadin.flow.component.orderedlayout.HorizontalLayout;
import com.vaadin.flow.component.orderedlayout.VerticalLayout;
import com.vaadin.flow.component.tabs.Tab;
import com.vaadin.flow.component.tabs.Tabs;
import com.vaadin.flow.component.tabs.TabsVariant;
import com.vaadin.flow.i18n.LocaleChangeEvent;
import com.vaadin.flow.i18n.LocaleChangeObserver;
import com.vaadin.flow.router.PageTitle;
import com.vaadin.flow.router.RouterLink;
import edu.kit.typicalc.model.TypeInfererInterface;
@ -32,7 +40,7 @@ public class MainViewImpl extends AppLayout implements MainView {
private final Tabs menu;
private H1 viewTitle;
public MainViewImpl() {
setDrawerOpened(false);
addToNavbar(true, createHeaderContent());
@ -107,12 +115,19 @@ public class MainViewImpl extends AppLayout implements MainView {
}
@Override
public void setTypeInferenceView(TypeInfererInterface typeInferer) {
// TODO Auto-generated method stub
public void setTypeInferenceView(final TypeInfererInterface typeInferer) {
this.getUI().get().navigate(TypeInferenceView.class, typeInferer);
}
@Override
public void displayError(ParseError error) {
// TODO Auto-generated method stub
public void displayError(final ParseError error) {
final Span errorText = new Span(getTranslation("root." + error.toString()));
final Notification errorNotification = new Notification();
final Button closeButton = new Button(getTranslation("root.close"), event -> errorNotification.close());
errorNotification.addThemeVariants(NotificationVariant.LUMO_ERROR);
errorNotification.add(errorText, closeButton);
errorNotification.setPosition(Position.MIDDLE);
errorNotification.open();
}
}