Munkaterület hely létrehozása

A munkaterület hely adja meg, hogy hol fog futni a TPTP JUnit bedolgozó teszt.

  1. Kattintson a Fájl > Új > Egyéb > Munkaterület hely > Teszt> Teszt erőforrások menüpontra. Kattintson a Tovább gombra.
  2. A "Szülőmappa megadása vagy kiválasztása" mezőbe írja be a pluginProj/src étéket.A Név mezőben adja meg a workLOC nevet.
  3. Kattintson a Tovább gombra a Munkaterület részletek ablak megnyitásához.
  4. Kattintson a Tovább gombra, és ha szükséges, akkor adja meg a munkaterület hely leírását.
  5. Kattintson a Befejezés gombra. Megjelenik a munkaterület hely szerkesztő, benne az Áttekintés lappal. (Ha nem tenné, akkor kattintson duplán a workLOC hely fájlra.)