1 /*
2 * To change this template, choose Tools | Templates
3 * and open the template in the editor.
4 */
5 package cz.cuni.amis.pogamut.base.utils;
6
7 /**
8 *
9 * @author Ik
10 */
11 public class Pogamut {
12
13 private static PogamutPlatform platform = null;
14
15 /**
16 *
17 * @return PogamutPlatform containing Pogamut specific settings.
18 */
19 public synchronized static PogamutPlatform getPlatform() {
20 if(platform == null) {
21 // TODO extend this mechanism so that the user can supply his own
22 // implementation of platform
23 platform = new DefaultPogamutPlatform();
24 }
25 return platform;
26 }
27 }